Test Result

0 failures , 3,928 skipped

21,698 tests

All Tests

Package	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
(root)	0.24 sec	0		0		168	+168	168	+168
org.overture.codegen.tests	7.4 sec	0		0		56	+56	56	+56
org.overture.codegen.tests.exec	0 ms	0		2760	+2760	0		2760	+2760
org.overture.codegen.tests.other	21 sec	0		0		340	+340	340	+340
org.overture.codegen.tests.output	2 min 11 sec	0		0		2816	+2816	2816	+2816
org.overture.codegen.tests.util	4 ms	0		0		12	+12	12	+12
org.overture.core.npp	2 sec	0		0		388	+388	388	+388
org.overture.core.testing.samples	57 sec	0		0		6430	+6430	6430	+6430
org.overture.ct.ctruntime.tests	1 min 35 sec	0		0		140	+140	140	+140
org.overture.interpreter.tests	0.51 sec	0		0		12	+12	12	+12
org.overture.interpreter.tests.external	33 sec	0		364	+364	1454	+1454	1818	+1818
org.overture.interpreter.tests.newtests	1 min 27 sec	0		4	+4	220	+220	224	+224
org.overture.interpreter.tests.stdlibs	0.47 sec	0		0		36	+36	36	+36
org.overture.isapog	7.3 sec	0		12	+12	4	+4	16	+16
org.overture.parser.tests	16 sec	0		0		224	+224	224	+224
org.overture.pog.tests	1.5 sec	0		0		28	+28	28	+28
org.overture.pog.tests.newtests	30 sec	0		336	+336	416	+416	752	+752
org.overture.typechecker.tests	1 min 53 sec	0		0		524	+524	524	+524
org.overture.typechecker.tests.external	42 sec	0		0		3550	+3550	3550	+3550
org.overture.vdm2jml.tests	50 sec	0		40	+40	672	+672	712	+712
org.overture.vdm2jml.tests.exec	0 ms	0		400	+400	0		400	+400
org.overturetool.cgisa	15 sec	0		12	+12	280	+280	292	+292