Test Result

0 failures (±0) , 110 skipped (±0)
278 tests (±0)
Took 12 sec.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
org.overture.vdm2jml.tests7.8 sec010168178
org.overture.vdm2jml.tests.exec0 ms01000100