Test Result

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

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.25 sec008484
org.overture.codegen.tests10 sec005656
org.overture.codegen.tests.exec0 ms0270802708
org.overture.codegen.tests.other24 sec00340340
org.overture.codegen.tests.output1 min 40 sec0027602760
org.overture.codegen.tests.util2 ms001212
org.overture.core.npp1.3 sec00388388
org.overture.core.testing.samples30 sec0064306430
org.overture.ct.ctruntime.tests1 min 11 sec00140140
org.overture.interpreter.tests0.11 sec001212
org.overture.interpreter.tests.external19 sec036214561818
org.overture.interpreter.tests.newtests33 sec04224228
org.overture.interpreter.tests.stdlibs0.19 sec003636
org.overture.isapog7.4 sec012416
org.overture.parser.tests12 sec00224224
org.overture.pog.tests0.95 sec002828
org.overture.pog.tests.newtests15 sec0336416752
org.overture.typechecker.tests25 sec00524524
org.overture.typechecker.tests.external28 sec0035503550
org.overture.vdm2jml.tests58 sec040672712
org.overture.vdm2jml.tests.exec0 ms04000400
org.overturetool.cgisa10 sec012280292