Test Result

0 failures (±0) , 4 skipped (±0)
302 tests (+4)
Took 15 min.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
org.overture.codegen.vdm2c15 min04298+4302+4