Test Result

0 failures (±0) , 1,073 skipped (±0)

8,372 tests (±0)

Module	Fail	(diff)	Total	(diff)
org.overturetool.core:interpreter	0		977
org.overturetool.core:isapog	0		4
org.overturetool.core:npp	0		97
org.overturetool.core:parser	0		56
org.overturetool.core:pog	0		195
org.overturetool.core:typechecker	0		1906
org.overturetool.core.codegen:codegen-runtime	0		42
org.overturetool.core.codegen:isagen	0		73
org.overturetool.core.codegen:javagen	0		1479
org.overturetool.core.codegen:platform	0		17
org.overturetool.core.codegen:vdm2jml	0		278
org.overturetool.core.combinatorialtesting:ctruntime	0		35
org.overturetool.core.testing:samples	0		3213