Test Result : org.overture.vdm2jml.tests

0 failures (±0) , 40 skipped (±0)
712 tests (±0)
Took 31 sec.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
JmlOutputTests29 sec00340340
JmlPassTypeCheckTests0 ms040040
JmlReuseSlTraceOutputTest1.5 sec004848
JmlSlTraceOutputTest0.63 sec001212
LeafTypeCallTests0 ms004444
NameGenTests72 ms002424
PostCondNoStateTests2 ms002020
PostCondWithStateTests6 ms002020
PreCondNoStateTests0 ms001616
PreCondWithStateTests6 ms001616
PurityTests0 ms001616
RecInvTests2 ms001616
StateTests0 ms001616
TypeDependencyTests0.12 sec004040
V2JCallTests6 ms004444