Test Result : org.overture.typechecker.tests
0 failures
(±0)
131 tests
(±0)
All Tests
Class | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
ClassesPpTypeCheckTest | 1.3 sec | 0 | 0 | 47 | 47 | ||||
ClassesRtTypeCheckTest | 1 sec | 0 | 0 | 11 | 11 | ||||
ModulesSlTypeCheckTest | 4.3 sec | 0 | 0 | 73 | 73 |