Test Result

4 failures (+4) , 1,782 skipped (+1697)
6,916 tests (+6497)
Took 2 min 54 sec.

All Failed Tests

Test NameDurationAge
 Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-13.vpp]19 ms1
 Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-12.vpp]9 ms1
 Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-01.vpp]10 ms1
 Install IDE / org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest.test[letexpr-23.vdm]3 ms1

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.13 sec0084+8484+84
org.overture.codegen.tests2.5 sec0028+2828+28
org.overture.codegen.tests.exec0 ms01380+138001380+1380
org.overture.codegen.tests.other7.6 sec00170+170170+170
org.overture.codegen.tests.output30 sec001408+14081408+1408
org.overture.codegen.tests.util2 ms006+66+6
org.overture.core.npp0.51 sec00194+194194+194
org.overture.core.testing.samples1.4 sec004+24+2
org.overture.ct.ctruntime.tests39 sec0070+7070+70
org.overture.interpreter.tests26 ms006+36+3
org.overture.interpreter.tests.newtests14 sec02+1110+79112+80
org.overture.interpreter.tests.stdlibs70 ms0018+1818+18
org.overture.isapog3.3 sec06+62+28+8
org.overture.parser.tests6.6 sec00168+112168+112
org.overture.pog.tests0.34 sec0014+714+7
org.overture.pog.tests.newtests6.3 sec0168+84208+104376+188
org.overture.typechecker.tests19 sec00393+262393+262
org.overture.typechecker.tests.external8.6 sec4+401771+17711775+1775
org.overture.vdm2jml.tests13 sec020+20336+336356+356
org.overture.vdm2jml.tests.exec0 ms0200+2000200+200
org.overturetool.cgisa3.2 sec06+6140+140146+146