Test Result : org.overture.vdm2jml.tests

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

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
JmlOutputTests15 sec00170-170170-170
JmlPassTypeCheckTests0 ms020-20020-20
JmlReuseSlTraceOutputTest0.74 sec0024-2424-24
JmlSlTraceOutputTest0.36 sec006-66-6
LeafTypeCallTests0 ms0022-2222-22
NameGenTests26 ms0012-1212-12
PostCondNoStateTests0 ms0010-1010-10
PostCondWithStateTests0 ms0010-1010-10
PreCondNoStateTests8 ms008-88-8
PreCondWithStateTests0 ms008-88-8
PurityTests2 ms008-88-8
RecInvTests2 ms008-88-8
StateTests2 ms008-88-8
TypeDependencyTests81 ms0020-2020-20
V2JCallTests4 ms0022-2222-22