Test Result : org.overture.typechecker.tests

0 failures
524 tests
Took 59 sec.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
ClassesPpTypeCheckTest17 sec00188+188188+188
ClassesRtTypeCheckTest17 sec0044+4444+44
ModulesSlTypeCheckTest23 sec00292+292292+292