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

0 failures
3,550 tests
Took 54 sec.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
ExternalClassesPpTypeCheckTest16 sec00970+970970+970
ExternalClassesRtTypeCheckTest7.9 sec00148+148148+148
ExternalModulesSlTypeCheckTest30 sec002432+24322432+2432