Test Result

0 failures , 1,782 skipped
4,954 tests
Took 6 min 34 sec.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.26 sec0084+8484+84
org.overture.codegen.tests5.7 sec0028+2828+28
org.overture.codegen.tests.exec0 ms01380+138001380+1380
org.overture.codegen.tests.other19 sec00170+170170+170
org.overture.codegen.tests.output1 min 31 sec001408+14081408+1408
org.overture.codegen.tests.util4 ms006+66+6
org.overture.core.npp0.75 sec00194+194194+194
org.overture.core.testing.samples2.8 sec004+44+4
org.overture.ct.ctruntime.tests48 sec0070+7070+70
org.overture.interpreter.tests0.41 sec006+66+6
org.overture.interpreter.tests.newtests56 sec02+2110+110112+112
org.overture.interpreter.tests.stdlibs0.6 sec0018+1818+18
org.overture.isapog5.6 sec06+62+28+8
org.overture.parser.tests8.5 sec00112+112112+112
org.overture.pog.tests1.3 sec0014+1414+14
org.overture.pog.tests.newtests14 sec0168+168208+208376+376
org.overture.typechecker.tests33 sec00262+262262+262
org.overture.vdm2jml.tests50 sec020+20336+336356+356
org.overture.vdm2jml.tests.exec0 ms0200+2000200+200
org.overturetool.cgisa9.5 sec06+6140+140146+146