Test Result

0 failures (±0) , 3,818 skipped (±0)
21,394 tests (±0)
Took 8 min 28 sec.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.17 sec007676
org.overture.codegen.tests10 sec005656
org.overture.codegen.tests.exec0 ms0265202652
org.overture.codegen.tests.other29 sec00344344
org.overture.codegen.tests.output1 min 32 sec0027042704
org.overture.codegen.tests.util10 ms001212
org.overture.core.npp0.95 sec00388388
org.overture.core.testing.samples28 sec0064306430
org.overture.ct.ctruntime.tests1 min 22 sec00140140
org.overture.interpreter.tests5.7 sec001212
org.overture.interpreter.tests.external20 sec036214561818
org.overture.interpreter.tests.newtests45 sec04224228
org.overture.interpreter.tests.stdlibs0.17 sec003636
org.overture.isapog6 sec012416
org.overture.parser.tests11 sec00224224
org.overture.pog.tests1.1 sec002828
org.overture.pog.tests.newtests26 sec0336416752
org.overture.typechecker.tests31 sec00524524
org.overture.typechecker.tests.external23 sec0035503550
org.overture.vdm2jml.tests35 sec040672712
org.overture.vdm2jml.tests.exec0 ms04000400
org.overturetool.cgisa8.1 sec012280292