Test Result

0 failures (±0) , 3,928 skipped (+3843)
21,698 tests (+21279)
Took 5 min 58 sec.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.22 sec00168+168168+168
org.overture.codegen.tests5.2 sec0056+5656+56
org.overture.codegen.tests.exec0 ms02760+276002760+2760
org.overture.codegen.tests.other13 sec00340+340340+340
org.overture.codegen.tests.output58 sec002816+28162816+2816
org.overture.codegen.tests.util2 ms0012+1212+12
org.overture.core.npp0.85 sec00388+388388+388
org.overture.core.testing.samples28 sec006430+64286430+6428
org.overture.ct.ctruntime.tests1 min 1 sec00140+140140+140
org.overture.interpreter.tests90 ms0012+912+9
org.overture.interpreter.tests.external13 sec0364+3641454+14541818+1818
org.overture.interpreter.tests.newtests32 sec04+3220+189224+192
org.overture.interpreter.tests.stdlibs0.11 sec0036+3636+36
org.overture.isapog4.7 sec012+124+416+16
org.overture.parser.tests8.2 sec00224+168224+168
org.overture.pog.tests0.82 sec0028+2128+21
org.overture.pog.tests.newtests14 sec0336+252416+312752+564
org.overture.typechecker.tests22 sec00524+393524+393
org.overture.typechecker.tests.external18 sec003550+35503550+3550
org.overture.vdm2jml.tests30 sec040+40672+672712+712
org.overture.vdm2jml.tests.exec0 ms0400+4000400+400
org.overturetool.cgisa7.5 sec012+12280+280292+292