Test Result

0 failures , 110 skipped
278 tests
Took 13 sec.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
org.overture.vdm2jml.tests8.9 sec010+10168+168178+178
org.overture.vdm2jml.tests.exec0 ms0100+1000100+100