Test Result : org.overture.typechecker.tests

0 failures
524 tests
Took 23 sec.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
ClassesPpTypeCheckTest5 sec00188+188188+188
ClassesRtTypeCheckTest8 sec0044+4444+44
ModulesSlTypeCheckTest10 sec00292+292292+292