Test Result : org.overture.vdm2jml.tests

0 failures (±0) , 20 skipped (±0)
356 tests (±0)
Took 16 sec.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
JmlOutputTests14 sec00170170
JmlPassTypeCheckTests0 ms020020
JmlReuseSlTraceOutputTest0.87 sec002424
JmlSlTraceOutputTest0.31 sec0066
LeafTypeCallTests2 ms002222
NameGenTests43 ms001212
PostCondNoStateTests2 ms001010
PostCondWithStateTests0 ms001010
PreCondNoStateTests2 ms0088
PreCondWithStateTests2 ms0088
PurityTests2 ms0088
RecInvTests4 ms0088
StateTests0 ms0088
TypeDependencyTests83 ms002020
V2JCallTests4 ms002222