Test Result : org.overture.vdm2jml.tests

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

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
JmlOutputTests12 sec00170-170170-170
JmlPassTypeCheckTests0 ms020-20020-20
JmlReuseSlTraceOutputTest0.73 sec0024-2424-24
JmlSlTraceOutputTest0.26 sec006-66-6
LeafTypeCallTests2 ms0022-2222-22
NameGenTests28 ms0012-1212-12
PostCondNoStateTests0 ms0010-1010-10
PostCondWithStateTests0 ms0010-1010-10
PreCondNoStateTests2 ms008-88-8
PreCondWithStateTests0 ms008-88-8
PurityTests2 ms008-88-8
RecInvTests4 ms008-88-8
StateTests2 ms008-88-8
TypeDependencyTests66 ms0020-2020-20
V2JCallTests6 ms0022-2222-22