Test Result

0 failures , 3,928 skipped
21,698 tests
Took 15 min.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.94 sec00168+168168+168
org.overture.codegen.tests8.6 sec0056+5656+56
org.overture.codegen.tests.exec0 ms02760+276002760+2760
org.overture.codegen.tests.other20 sec00340+340340+340
org.overture.codegen.tests.output1 min 32 sec002816+28162816+2816
org.overture.codegen.tests.util28 ms0012+1212+12
org.overture.core.npp1.5 sec00388+388388+388
org.overture.core.testing.samples2 min 53 sec006430+64306430+6430
org.overture.ct.ctruntime.tests2 min 49 sec00140+140140+140
org.overture.interpreter.tests0.45 sec0012+1212+12
org.overture.interpreter.tests.external52 sec0364+3641454+14541818+1818
org.overture.interpreter.tests.newtests2 min 5 sec04+4220+220224+224
org.overture.interpreter.tests.stdlibs0.54 sec0036+3636+36
org.overture.isapog7.6 sec012+124+416+16
org.overture.parser.tests28 sec00224+224224+224
org.overture.pog.tests1.2 sec0028+2828+28
org.overture.pog.tests.newtests34 sec0336+336416+416752+752
org.overture.typechecker.tests45 sec00524+524524+524
org.overture.typechecker.tests.external53 sec003550+35503550+3550
org.overture.vdm2jml.tests43 sec040+40672+672712+712
org.overture.vdm2jml.tests.exec0 ms0400+4000400+400
org.overturetool.cgisa9.2 sec012+12280+280292+292