Test Result

0 failures (-17) , 1,073 skipped (-6)
8,372 tests (±0)
ModuleFail(diff)Total(diff)
org.overturetool.core:interpreter0977
org.overturetool.core:isapog04
org.overturetool.core:npp097
org.overturetool.core:parser056
org.overturetool.core:pog0195
org.overturetool.core:typechecker0-41906
org.overturetool.core.codegen:codegen-runtime042
org.overturetool.core.codegen:isagen073
org.overturetool.core.codegen:javagen01479
org.overturetool.core.codegen:platform017
org.overturetool.core.codegen:vdm2jml0278
org.overturetool.core.combinatorialtesting:ctruntime035
org.overturetool.core.testing:samples0-133213