Test Result : org.overture.vdm2jml.tests

0 failures (±0) , 10 skipped (±0)
178 tests (±0)
Took 7.3 sec.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
JmlOutputTests6.7 sec008585
JmlPassTypeCheckTests0 ms010010
JmlReuseSlTraceOutputTest0.4 sec001212
JmlSlTraceOutputTest0.16 sec0033
LeafTypeCallTests1 ms001111
NameGenTests17 ms0066
PostCondNoStateTests1 ms0055
PostCondWithStateTests0 ms0055
PreCondNoStateTests1 ms0044
PreCondWithStateTests0 ms0044
PurityTests0 ms0044
RecInvTests4 ms0044
StateTests1 ms0044
TypeDependencyTests45 ms001010
V2JCallTests1 ms001111