| 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.java | | 0% | | 0% | 16 | 16 | 71 | 71 | 5 | 5 | 1 | 1 |
| TestMetricsInvariantChecker.java | | 0% | | 0% | 7 | 7 | 36 | 36 | 5 | 5 | 1 | 1 |
| InvariantsChecker.java | | 0% | | 0% | 11 | 11 | 22 | 22 | 10 | 10 | 1 | 1 |
| ReservationInvariantsChecker.java | | 0% | | 0% | 5 | 5 | 19 | 19 | 3 | 3 | 1 | 1 |
| InvariantViolationException.java | | 0% | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 |