Test Result

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