Test Result : org.overture.vdm2jml.tests

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

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
JmlOutputTests14 sec00170170
JmlPassTypeCheckTests0 ms020020
JmlReuseSlTraceOutputTest0.85 sec002424
JmlSlTraceOutputTest0.32 sec0066
LeafTypeCallTests0 ms002222
NameGenTests32 ms001212
PostCondNoStateTests0 ms001010
PostCondWithStateTests0 ms001010
PreCondNoStateTests0 ms0088
PreCondWithStateTests2 ms0088
PurityTests0 ms0088
RecInvTests2 ms0088
StateTests2 ms0088
TypeDependencyTests73 ms002020
V2JCallTests10 ms002222