| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 631 of 631 | 0% | 34 of 34 | 0% | 43 | 43 | 154 | 154 | 26 | 26 | 5 | 5 |
| MetricsInvariantChecker | | 0% | | 0% | 16 | 16 | 71 | 71 | 5 | 5 | 1 | 1 |
| TestMetricsInvariantChecker | | 0% | | 0% | 9 | 9 | 38 | 38 | 6 | 6 | 1 | 1 |
| InvariantsChecker | | 0% | | 0% | 11 | 11 | 22 | 22 | 10 | 10 | 1 | 1 |
| ReservationInvariantsChecker | | 0% | | 0% | 5 | 5 | 19 | 19 | 3 | 3 | 1 | 1 |
| InvariantViolationException | | 0% | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 |