Test Result

0 failures (±0) , 1,782 skipped (±0)
4,954 tests (±0)
Took 2 min 47 sec.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.12 sec008484
org.overture.codegen.tests3.8 sec002828
org.overture.codegen.tests.exec0 ms0138001380
org.overture.codegen.tests.other6.4 sec00170170
org.overture.codegen.tests.output32 sec0014081408
org.overture.codegen.tests.util0 ms0066
org.overture.core.npp0.48 sec00194194
org.overture.core.testing.samples1.6 sec0044
org.overture.ct.ctruntime.tests42 sec007070
org.overture.interpreter.tests46 ms0066
org.overture.interpreter.tests.newtests16 sec02110112
org.overture.interpreter.tests.stdlibs44 ms001818
org.overture.isapog2.1 sec0628
org.overture.parser.tests4.5 sec00112112
org.overture.pog.tests0.43 sec001414
org.overture.pog.tests.newtests7 sec0168208376
org.overture.typechecker.tests18 sec00262262
org.overture.vdm2jml.tests14 sec020336356
org.overture.vdm2jml.tests.exec0 ms02000200
org.overturetool.cgisa3.4 sec06140146