Test Result : org.overture.vdm2jml.tests

0 failures , 40 skipped
712 tests
Took 1 min 12 sec.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
JmlOutputTests1 min 5 sec00340+340340+340
JmlPassTypeCheckTests0 ms040+40040+40
JmlReuseSlTraceOutputTest4.1 sec0048+4848+48
JmlSlTraceOutputTest2 sec0012+1212+12
LeafTypeCallTests36 ms0044+4444+44
NameGenTests0.22 sec0024+2424+24
PostCondNoStateTests4 ms0020+2020+20
PostCondWithStateTests16 ms0020+2020+20
PreCondNoStateTests0 ms0016+1616+16
PreCondWithStateTests14 ms0016+1616+16
PurityTests0 ms0016+1616+16
RecInvTests45 ms0016+1616+16
StateTests2 ms0016+1616+16
TypeDependencyTests0.28 sec0040+4040+40
V2JCallTests6 ms0044+4444+44