Test Result

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

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.2 sec008484
org.overture.codegen.tests4.4 sec005656
org.overture.codegen.tests.exec0 ms0270802708
org.overture.codegen.tests.other17 sec00340340
org.overture.codegen.tests.output1 min 10 sec0027602760
org.overture.codegen.tests.util35 ms001212
org.overture.core.npp0.61 sec00388388
org.overture.core.testing.samples29 sec0064306430
org.overture.ct.ctruntime.tests50 sec00140140
org.overture.interpreter.tests76 ms001212
org.overture.interpreter.tests.external12 sec036214561818
org.overture.interpreter.tests.newtests35 sec04224228
org.overture.interpreter.tests.stdlibs0.22 sec003636
org.overture.isapog7.1 sec012416
org.overture.parser.tests6.9 sec00224224
org.overture.pog.tests0.66 sec002828
org.overture.pog.tests.newtests15 sec0336416752
org.overture.typechecker.tests17 sec00524524
org.overture.typechecker.tests.external13 sec0035503550
org.overture.vdm2jml.tests29 sec040672712
org.overture.vdm2jml.tests.exec0 ms04000400
org.overturetool.cgisa7.6 sec012280292