Test Result

0 failures , 891 skipped
2,477 tests
ModuleFail(diff)Total(diff)
org.overturetool.core:interpreter068+68
org.overturetool.core:isapog04+4
org.overturetool.core:npp097+97
org.overturetool.core:parser056+56
org.overturetool.core:pog0195+195
org.overturetool.core:typechecker0131+131
org.overturetool.core.codegen:codegen-runtime042+42
org.overturetool.core.codegen:isagen073+73
org.overturetool.core.codegen:javagen01479+1479
org.overturetool.core.codegen:platform017+17
org.overturetool.core.codegen:vdm2jml0278+278
org.overturetool.core.combinatorialtesting:ctruntime035+35
org.overturetool.core.testing:samples02+2