Test Result

0 failures , 1,782 skipped

6,918 tests

All Tests

Package	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
(root)	0.15 sec	0		0		84	+84	84	+84
org.overture.codegen.tests	2.9 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	13 sec	0		0		170	+170	170	+170
org.overture.codegen.tests.output	55 sec	0		0		1408	+1408	1408	+1408
org.overture.codegen.tests.util	0 ms	0		0		6	+6	6	+6
org.overture.core.npp	1.1 sec	0		0		194	+194	194	+194
org.overture.core.testing.samples	3.2 sec	0		0		6	+6	6	+6
org.overture.ct.ctruntime.tests	40 sec	0		0		70	+70	70	+70
org.overture.interpreter.tests	36 ms	0		0		6	+6	6	+6
org.overture.interpreter.tests.newtests	19 sec	0		2	+2	110	+110	112	+112
org.overture.interpreter.tests.stdlibs	0.2 sec	0		0		18	+18	18	+18
org.overture.isapog	2.8 sec	0		6	+6	2	+2	8	+8
org.overture.parser.tests	9.1 sec	0		0		168	+168	168	+168
org.overture.pog.tests	0.46 sec	0		0		14	+14	14	+14
org.overture.pog.tests.newtests	10 sec	0		168	+168	208	+208	376	+376
org.overture.typechecker.tests	20 sec	0		0		393	+393	393	+393
org.overture.typechecker.tests.external	15 sec	0		0		1775	+1775	1775	+1775
org.overture.vdm2jml.tests	24 sec	0		20	+20	336	+336	356	+356
org.overture.vdm2jml.tests.exec	0 ms	0		200	+200	0		200	+200
org.overturetool.cgisa	5.3 sec	0		6	+6	140	+140	146	+146