Test Result

0 failures (-4) , 3,928 skipped (+2146)
21,698 tests (+14782)
Took 6 min 2 sec.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.23 sec00168+84168+84
org.overture.codegen.tests5.5 sec0056+2856+28
org.overture.codegen.tests.exec0 ms02760+138002760+1380
org.overture.codegen.tests.other13 sec00340+170340+170
org.overture.codegen.tests.output59 sec002816+14082816+1408
org.overture.codegen.tests.util4 ms0012+612+6
org.overture.core.npp0.97 sec00388+194388+194
org.overture.core.testing.samples27 sec006430+64266430+6426
org.overture.ct.ctruntime.tests1 min 7 sec00140+70140+70
org.overture.interpreter.tests63 ms0012+612+6
org.overture.interpreter.tests.external13 sec0364+3641454+14541818+1818
org.overture.interpreter.tests.newtests31 sec04+2220+110224+112
org.overture.interpreter.tests.stdlibs79 ms0036+1836+18
org.overture.isapog5.3 sec012+64+216+8
org.overture.parser.tests9.2 sec00224+56224+56
org.overture.pog.tests0.7 sec0028+1428+14
org.overture.pog.tests.newtests14 sec0336+168416+208752+376
org.overture.typechecker.tests22 sec00524+131524+131
org.overture.typechecker.tests.external20 sec0-403550+17793550+1775
org.overture.vdm2jml.tests28 sec040+20672+336712+356
org.overture.vdm2jml.tests.exec0 ms0400+2000400+200
org.overturetool.cgisa7.6 sec012+6280+140292+146