Test Result : org.overture.vdm2jml.tests

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

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
JmlOutputTests1 min 7 sec00340+340340+340
JmlPassTypeCheckTests0 ms040+40040+40
JmlReuseSlTraceOutputTest3.5 sec0048+4848+48
JmlSlTraceOutputTest1.5 sec0012+1212+12
LeafTypeCallTests6 ms0044+4444+44
NameGenTests98 ms0024+2424+24
PostCondNoStateTests2 ms0020+2020+20
PostCondWithStateTests0 ms0020+2020+20
PreCondNoStateTests4 ms0016+1616+16
PreCondWithStateTests6 ms0016+1616+16
PurityTests2 ms0016+1616+16
RecInvTests40 ms0016+1616+16
StateTests6 ms0016+1616+16
TypeDependencyTests0.46 sec0040+4040+40
V2JCallTests6 ms0044+4444+44