Test Result : org.overture.typechecker.tests

0 failures (±0)
393 tests (+262)
Took 19 sec.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
ClassesPpTypeCheckTest4.1 sec00141+94141+94
ClassesRtTypeCheckTest4.5 sec0033+2233+22
ModulesSlTypeCheckTest10 sec00219+146219+146