Test Result

0 failures , 1,782 skipped
4,954 tests
Took 7 min 3 sec.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.32 sec0084+8484+84
org.overture.codegen.tests7.6 sec0028+2828+28
org.overture.codegen.tests.exec0 ms01380+138001380+1380
org.overture.codegen.tests.other21 sec00170+170170+170
org.overture.codegen.tests.output1 min 38 sec001408+14081408+1408
org.overture.codegen.tests.util4 ms006+66+6
org.overture.core.npp1.2 sec00194+194194+194
org.overture.core.testing.samples2.1 sec004+44+4
org.overture.ct.ctruntime.tests52 sec0070+7070+70
org.overture.interpreter.tests0.11 sec006+66+6
org.overture.interpreter.tests.newtests49 sec02+2110+110112+112
org.overture.interpreter.tests.stdlibs0.56 sec0018+1818+18
org.overture.isapog4.5 sec06+62+28+8
org.overture.parser.tests8.3 sec00112+112112+112
org.overture.pog.tests1.2 sec0014+1414+14
org.overture.pog.tests.newtests18 sec0168+168208+208376+376
org.overture.typechecker.tests33 sec00262+262262+262
org.overture.vdm2jml.tests57 sec020+20336+336356+356
org.overture.vdm2jml.tests.exec0 ms0200+2000200+200
org.overturetool.cgisa22 sec06+6140+140146+146