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

0 failures
3,550 tests
Took 38 sec.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
ExternalClassesPpTypeCheckTest8.5 sec00970+970970+970
ExternalClassesRtTypeCheckTest9.6 sec00148+148148+148
ExternalModulesSlTypeCheckTest19 sec002432+24322432+2432