Test Result

0 failures (±0) , 891 skipped (±0)

2,477 tests (±0)

Module	Fail	(diff)	Total	(diff)
org.overturetool.core:interpreter	0		68
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		131
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		2