Test Result

0 failures (±0) , 3,874 skipped (±0)
21,510 tests (±0)
Took 5 min 12 sec.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.15 sec008484
org.overture.codegen.tests4.4 sec005656
org.overture.codegen.tests.exec0 ms0270802708
org.overture.codegen.tests.other13 sec00340340
org.overture.codegen.tests.output53 sec0027602760
org.overture.codegen.tests.util2 ms001212
org.overture.core.npp0.74 sec00388388
org.overture.core.testing.samples26 sec0064306430
org.overture.ct.ctruntime.tests52 sec00140140
org.overture.interpreter.tests0.1 sec001212
org.overture.interpreter.tests.external12 sec036214561818
org.overture.interpreter.tests.newtests26 sec04224228
org.overture.interpreter.tests.stdlibs0.2 sec003636
org.overture.isapog4.5 sec012416
org.overture.parser.tests7.1 sec00224224
org.overture.pog.tests0.81 sec002828
org.overture.pog.tests.newtests13 sec0336416752
org.overture.typechecker.tests17 sec00524524
org.overture.typechecker.tests.external17 sec0035503550
org.overture.vdm2jml.tests26 sec040672712
org.overture.vdm2jml.tests.exec0 ms04000400
org.overturetool.cgisa6.4 sec012280292