Test Result : org.overture.typechecker.tests

0 failures
524 tests
Took 56 sec.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
ClassesPpTypeCheckTest11 sec00188+188188+188
ClassesRtTypeCheckTest14 sec0044+4444+44
ModulesSlTypeCheckTest30 sec00292+292292+292