Test Result

0 failures , 1,782 skipped

4,954 tests

All Tests

Package	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
(root)	0.32 sec	0		0		84	+84	84	+84
org.overture.codegen.tests	7.6 sec	0		0		28	+28	28	+28
org.overture.codegen.tests.exec	0 ms	0		1380	+1380	0		1380	+1380
org.overture.codegen.tests.other	21 sec	0		0		170	+170	170	+170
org.overture.codegen.tests.output	1 min 38 sec	0		0		1408	+1408	1408	+1408
org.overture.codegen.tests.util	4 ms	0		0		6	+6	6	+6
org.overture.core.npp	1.2 sec	0		0		194	+194	194	+194
org.overture.core.testing.samples	2.1 sec	0		0		4	+4	4	+4
org.overture.ct.ctruntime.tests	52 sec	0		0		70	+70	70	+70
org.overture.interpreter.tests	0.11 sec	0		0		6	+6	6	+6
org.overture.interpreter.tests.newtests	49 sec	0		2	+2	110	+110	112	+112
org.overture.interpreter.tests.stdlibs	0.56 sec	0		0		18	+18	18	+18
org.overture.isapog	4.5 sec	0		6	+6	2	+2	8	+8
org.overture.parser.tests	8.3 sec	0		0		112	+112	112	+112
org.overture.pog.tests	1.2 sec	0		0		14	+14	14	+14
org.overture.pog.tests.newtests	18 sec	0		168	+168	208	+208	376	+376
org.overture.typechecker.tests	33 sec	0		0		262	+262	262	+262
org.overture.vdm2jml.tests	57 sec	0		20	+20	336	+336	356	+356
org.overture.vdm2jml.tests.exec	0 ms	0		200	+200	0		200	+200
org.overturetool.cgisa	22 sec	0		6	+6	140	+140	146	+146