Test Result

0 failures (±0) , 3,928 skipped (±0)
21,698 tests (±0)
Took 5 min 58 sec.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.2 sec00168168
org.overture.codegen.tests4.7 sec005656
org.overture.codegen.tests.exec0 ms0276002760
org.overture.codegen.tests.other12 sec00340340
org.overture.codegen.tests.output58 sec0028162816
org.overture.codegen.tests.util2 ms001212
org.overture.core.npp0.85 sec00388388
org.overture.core.testing.samples25 sec0064306430
org.overture.ct.ctruntime.tests1 min 0 sec00140140
org.overture.interpreter.tests0.12 sec001212
org.overture.interpreter.tests.external10 sec036414541818
org.overture.interpreter.tests.newtests33 sec04220224
org.overture.interpreter.tests.stdlibs87 ms003636
org.overture.isapog4.6 sec012416
org.overture.parser.tests9.1 sec00224224
org.overture.pog.tests0.73 sec002828
org.overture.pog.tests.newtests14 sec0336416752
org.overture.typechecker.tests28 sec00524524
org.overture.typechecker.tests.external22 sec0035503550
org.overture.vdm2jml.tests29 sec040672712
org.overture.vdm2jml.tests.exec0 ms04000400
org.overturetool.cgisa7.8 sec012280292