Test Result

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

All Failed Tests

Test NameDurationAge
 org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-13.vpp]33 ms3
 org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-12.vpp]8 ms3
 org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-01.vpp]46 ms3
 org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest.test[letexpr-23.vdm]92 ms3

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
org.overture.typechecker.tests4.4 sec00131131
org.overture.typechecker.tests.external12 sec4017711775