[Jenkins]Jenkins

Test Result : org.overture.typechecker.tests.external

4 failures (+4)
1,775 tests (-1775)
Took 8.6 sec.

All Failed Tests

Test NameDurationAge
 Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-01.vpp]10 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-13.vpp]19 ms1
 Install IDE / org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest.test[letexpr-23.vdm]3 ms1

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
ExternalClassesPpTypeCheckTest2.3 sec00485-485485-485
ExternalClassesRtTypeCheckTest1.6 sec3+3071-7774-74
ExternalModulesSlTypeCheckTest4.6 sec1+101215-12171216-1216