Test Result

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

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.42 sec008484
org.overture.codegen.tests4.5 sec005656
org.overture.codegen.tests.exec0 ms0270802708
org.overture.codegen.tests.other29 sec00340340
org.overture.codegen.tests.output1 min 36 sec0027602760
org.overture.codegen.tests.util0 ms001212
org.overture.core.npp1.5 sec00388388
org.overture.core.testing.samples39 sec0064306430
org.overture.ct.ctruntime.tests1 min 6 sec00140140
org.overture.interpreter.tests0.2 sec001212
org.overture.interpreter.tests.external19 sec036214561818
org.overture.interpreter.tests.newtests34 sec04224228
org.overture.interpreter.tests.stdlibs0.48 sec003636
org.overture.isapog6.1 sec012416
org.overture.parser.tests16 sec00224224
org.overture.pog.tests0.83 sec002828
org.overture.pog.tests.newtests17 sec0336416752
org.overture.typechecker.tests31 sec00524524
org.overture.typechecker.tests.external28 sec0035503550
org.overture.vdm2jml.tests34 sec040672712
org.overture.vdm2jml.tests.exec0 ms04000400
org.overturetool.cgisa22 sec012280292