Test Result : org.overture.vdm2jml.tests

0 failures , 10 skipped
178 tests
Took 7.2 sec.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
JmlOutputTests6.3 sec0085+8585+85
JmlPassTypeCheckTests0 ms010+10010+10
JmlReuseSlTraceOutputTest0.54 sec0012+1212+12
JmlSlTraceOutputTest0.24 sec003+33+3
LeafTypeCallTests3 ms0011+1111+11
NameGenTests26 ms006+66+6
PostCondNoStateTests0 ms005+55+5
PostCondWithStateTests1 ms005+55+5
PreCondNoStateTests1 ms004+44+4
PreCondWithStateTests0 ms004+44+4
PurityTests0 ms004+44+4
RecInvTests1 ms004+44+4
StateTests0 ms004+44+4
TypeDependencyTests39 ms0010+1010+10
V2JCallTests2 ms0011+1111+11