Test Result
4 failures
(+4)
1,906 tests
(±0)
All Failed Tests
All Tests
Package | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
org.overture.typechecker.tests | 3.7 sec | 0 | 0 | 131 | 131 | ||||
org.overture.typechecker.tests.external | 7.9 sec | 4 | +4 | 0 | 1771 | -4 | 1775 |