Test Result

0 failures , 1,782 skipped
6,918 tests
Took 4 min 10 sec.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.15 sec0084+8484+84
org.overture.codegen.tests2.9 sec0028+2828+28
org.overture.codegen.tests.exec0 ms01380+138001380+1380
org.overture.codegen.tests.other13 sec00170+170170+170
org.overture.codegen.tests.output55 sec001408+14081408+1408
org.overture.codegen.tests.util0 ms006+66+6
org.overture.core.npp1.1 sec00194+194194+194
org.overture.core.testing.samples3.2 sec006+66+6
org.overture.ct.ctruntime.tests40 sec0070+7070+70
org.overture.interpreter.tests36 ms006+66+6
org.overture.interpreter.tests.newtests19 sec02+2110+110112+112
org.overture.interpreter.tests.stdlibs0.2 sec0018+1818+18
org.overture.isapog2.8 sec06+62+28+8
org.overture.parser.tests9.1 sec00168+168168+168
org.overture.pog.tests0.46 sec0014+1414+14
org.overture.pog.tests.newtests10 sec0168+168208+208376+376
org.overture.typechecker.tests20 sec00393+393393+393
org.overture.typechecker.tests.external15 sec001775+17751775+1775
org.overture.vdm2jml.tests24 sec020+20336+336356+356
org.overture.vdm2jml.tests.exec0 ms0200+2000200+200
org.overturetool.cgisa5.3 sec06+6140+140146+146