Test Result

0 failures , 1,862 skipped
10,577 tests
Took 2 min 4 sec.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)60 ms0016+1616+16
org.overture.codegen.tests1.7 sec0028+2828+28
org.overture.codegen.tests.exec0 ms01312+131201312+1312
org.overture.codegen.tests.other5.2 sec00170+170170+170
org.overture.codegen.tests.output19 sec001338+13381338+1338
org.overture.core.npp0.44 sec00194+194194+194
org.overture.core.testing.samples7.2 sec003215+32153215+3215
org.overture.ct.ctruntime.tests25 sec0068+6868+68
org.overture.interpreter.tests44 ms006+66+6
org.overture.interpreter.tests.external4.2 sec0180+180729+729909+909
org.overture.interpreter.tests.newtests10 sec02+2112+112114+114
org.overture.interpreter.tests.stdlibs40 ms0018+1818+18
org.overture.isapog2 sec06+62+28+8
org.overture.parser.tests2.8 sec00112+112112+112
org.overture.pog.tests0.3 sec0014+1414+14
org.overture.pog.tests.newtests4.5 sec0136+136192+192328+328
org.overture.typechecker.tests6.1 sec00226+226226+226
org.overture.typechecker.tests.external6.5 sec001775+17751775+1775
org.overture.vdm2jml.tests9.4 sec020+20360+360380+380
org.overture.vdm2jml.tests.exec0 ms0200+2000200+200
org.overturetool.cgisa2.9 sec06+6140+140146+146