Test Result

0 failures (±0) , 891 skipped (±0)
2,477 tests (±0)
ModuleFail(diff)Total(diff)
org.overturetool.core:interpreter068
org.overturetool.core:isapog04
org.overturetool.core:npp097
org.overturetool.core:parser056
org.overturetool.core:pog0195
org.overturetool.core:typechecker0131
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:samples02