Test Result

0 failures (±0) , 3,874 skipped (±0)

21,510 tests (±0)

All Tests

Package	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
(root)	0.19 sec	0		0		84		84
org.overture.codegen.tests	4.2 sec	0		0		56		56
org.overture.codegen.tests.exec	0 ms	0		2708		0		2708
org.overture.codegen.tests.other	15 sec	0		0		340		340
org.overture.codegen.tests.output	1 min 7 sec	0		0		2760		2760
org.overture.codegen.tests.util	0 ms	0		0		12		12
org.overture.core.npp	0.96 sec	0		0		388		388
org.overture.core.testing.samples	30 sec	0		0		6430		6430
org.overture.ct.ctruntime.tests	1 min 4 sec	0		0		140		140
org.overture.interpreter.tests	0.12 sec	0		0		12		12
org.overture.interpreter.tests.external	18 sec	0		362		1456		1818
org.overture.interpreter.tests.newtests	29 sec	0		4		224		228
org.overture.interpreter.tests.stdlibs	0.16 sec	0		0		36		36
org.overture.isapog	6.9 sec	0		12		4		16
org.overture.parser.tests	11 sec	0		0		224		224
org.overture.pog.tests	0.96 sec	0		0		28		28
org.overture.pog.tests.newtests	15 sec	0		336		416		752
org.overture.typechecker.tests	19 sec	0		0		524		524
org.overture.typechecker.tests.external	30 sec	0		0		3550		3550
org.overture.vdm2jml.tests	48 sec	0		40		672		712
org.overture.vdm2jml.tests.exec	0 ms	0		400		0		400
org.overturetool.cgisa	9.5 sec	0		12		280		292