Test Result

0 failures (±0) , 3,842 skipped (+20)
21,438 tests (+40)
Took 13 min.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.44 sec007676
org.overture.codegen.tests9.3 sec005656
org.overture.codegen.tests.exec0 ms02676+2002676+20
org.overture.codegen.tests.other29 sec00340340
org.overture.codegen.tests.output2 min 34 sec002728+202728+20
org.overture.codegen.tests.util6 ms001212
org.overture.core.npp2.1 sec00388388
org.overture.core.testing.samples59 sec0064306430
org.overture.ct.ctruntime.tests1 min 59 sec00140140
org.overture.interpreter.tests0.14 sec001212
org.overture.interpreter.tests.external26 sec036214561818
org.overture.interpreter.tests.newtests1 min 3 sec04224228
org.overture.interpreter.tests.stdlibs0.6 sec003636
org.overture.isapog9.5 sec012416
org.overture.parser.tests18 sec00224224
org.overture.pog.tests1.2 sec002828
org.overture.pog.tests.newtests27 sec0336416752
org.overture.typechecker.tests56 sec00524524
org.overture.typechecker.tests.external34 sec0035503550
org.overture.vdm2jml.tests1 min 31 sec040672712
org.overture.vdm2jml.tests.exec0 ms04000400
org.overturetool.cgisa15 sec012280292