Test Result

0 failures (±0) , 1,061 skipped (±0)
8,329 tests (±0)
ModuleFail(diff)Total(diff)
org.overturetool.core:interpreter0978
org.overturetool.core:isapog04
org.overturetool.core:npp097
org.overturetool.core:parser056
org.overturetool.core:pog0195
org.overturetool.core:typechecker01906
org.overturetool.core.codegen:codegen-runtime021
org.overturetool.core.codegen:isagen073
org.overturetool.core.codegen:javagen01456
org.overturetool.core.codegen:platform017
org.overturetool.core.codegen:vdm2jml0278
org.overturetool.core.combinatorialtesting:ctruntime035
org.overturetool.core.testing:samples03213