Test Result

0 failures , 1,061 skipped
8,329 tests
ModuleFail(diff)Total(diff)
org.overturetool.core:interpreter0978+978
org.overturetool.core:isapog04+4
org.overturetool.core:npp097+97
org.overturetool.core:parser056+56
org.overturetool.core:pog0195+195
org.overturetool.core:typechecker01906+1906
org.overturetool.core.codegen:codegen-runtime021+21
org.overturetool.core.codegen:isagen073+73
org.overturetool.core.codegen:javagen01456+1456
org.overturetool.core.codegen:platform017+17
org.overturetool.core.codegen:vdm2jml0278+278
org.overturetool.core.combinatorialtesting:ctruntime035+35
org.overturetool.core.testing:samples03213+3213