Test Result

4 failures (±0)
1,906 tests (±0)
Took 16 sec.

All Failed Tests

Test NameDurationAge
 org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-13.vpp]23 ms13
 org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-12.vpp]6 ms13
 org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-01.vpp]7 ms13
 org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest.test[letexpr-23.vdm]3 ms13

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
org.overture.typechecker.tests4.8 sec00131131
org.overture.typechecker.tests.external10 sec4017711775