Test Result

0 failures (±0) , 2 skipped (±0)
193 tests (±0)
ModuleFail(diff)Total(diff)
org.overturetool.vdm2c.core:vdm2c0193