Test Result

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

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.11 sec008484
org.overture.codegen.tests5.2 sec005656
org.overture.codegen.tests.exec0 ms0270802708
org.overture.codegen.tests.other23 sec00340340
org.overture.codegen.tests.output54 sec0027602760
org.overture.codegen.tests.util10 ms001212
org.overture.core.npp1.1 sec00388388
org.overture.core.testing.samples22 sec0064306430
org.overture.ct.ctruntime.tests1 min 26 sec00140140
org.overture.interpreter.tests94 ms001212
org.overture.interpreter.tests.external15 sec036214561818
org.overture.interpreter.tests.newtests52 sec04224228
org.overture.interpreter.tests.stdlibs0.61 sec003636
org.overture.isapog5.5 sec012416
org.overture.parser.tests8.4 sec00224224
org.overture.pog.tests0.67 sec002828
org.overture.pog.tests.newtests15 sec0336416752
org.overture.typechecker.tests34 sec00524524
org.overture.typechecker.tests.external18 sec0035503550
org.overture.vdm2jml.tests32 sec040672712
org.overture.vdm2jml.tests.exec0 ms04000400
org.overturetool.cgisa8.6 sec012280292