Test Result

0 failures , 3,818 skipped
21,394 tests
Took 6 min 25 sec.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.18 sec0076+7676+76
org.overture.codegen.tests5.9 sec0056+5656+56
org.overture.codegen.tests.exec0 ms02652+265202652+2652
org.overture.codegen.tests.other18 sec00344+344344+344
org.overture.codegen.tests.output1 min 15 sec002704+27042704+2704
org.overture.codegen.tests.util2 ms0012+1212+12
org.overture.core.npp0.97 sec00388+388388+388
org.overture.core.testing.samples22 sec006430+64306430+6430
org.overture.ct.ctruntime.tests1 min 2 sec00140+140140+140
org.overture.interpreter.tests0.1 sec0012+1212+12
org.overture.interpreter.tests.external9.9 sec0362+3621456+14561818+1818
org.overture.interpreter.tests.newtests33 sec04+4224+224228+228
org.overture.interpreter.tests.stdlibs0.19 sec0036+3636+36
org.overture.isapog5.7 sec012+124+416+16
org.overture.parser.tests7.9 sec00224+224224+224
org.overture.pog.tests0.71 sec0028+2828+28
org.overture.pog.tests.newtests16 sec0336+336416+416752+752
org.overture.typechecker.tests20 sec00524+524524+524
org.overture.typechecker.tests.external15 sec003550+35503550+3550
org.overture.vdm2jml.tests39 sec040+40672+672712+712
org.overture.vdm2jml.tests.exec0 ms0400+4000400+400
org.overturetool.cgisa9.7 sec012+12280+280292+292