Test Result

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

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.15 sec008484
org.overture.codegen.tests4.3 sec005656
org.overture.codegen.tests.exec0 ms0270802708
org.overture.codegen.tests.other12 sec00340340
org.overture.codegen.tests.output50 sec0027602760
org.overture.codegen.tests.util0 ms001212
org.overture.core.npp0.74 sec00388388
org.overture.core.testing.samples19 sec0064306430
org.overture.ct.ctruntime.tests56 sec00140140
org.overture.interpreter.tests59 ms001212
org.overture.interpreter.tests.external9.2 sec036214561818
org.overture.interpreter.tests.newtests27 sec04224228
org.overture.interpreter.tests.stdlibs0.18 sec003636
org.overture.isapog5.2 sec012416
org.overture.parser.tests7.2 sec00224224
org.overture.pog.tests0.85 sec002828
org.overture.pog.tests.newtests11 sec0336416752
org.overture.typechecker.tests17 sec00524524
org.overture.typechecker.tests.external13 sec0035503550
org.overture.vdm2jml.tests31 sec040672712
org.overture.vdm2jml.tests.exec0 ms04000400
org.overturetool.cgisa6.5 sec012280292