| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 672 of 672 | 0% | 32 of 32 | 0% | 41 | 41 | 152 | 152 | 25 | 25 | 5 | 5 |
| MetricsInvariantChecker | | 0% | | 0% | 16 | 16 | 71 | 71 | 5 | 5 | 1 | 1 |
| TestMetricsInvariantChecker | | 0% | | 0% | 7 | 7 | 36 | 36 | 5 | 5 | 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 |