| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 315 of 315 | 0% | 20 of 20 | 0% | 41 | 41 | 65 | 65 | 31 | 31 | 3 | 3 |
| VerificationTimes.java | | 0% | | 0% | 21 | 21 | 33 | 33 | 11 | 11 | 1 | 1 |
| VerificationSequence.java | | 0% | n/a | 10 | 10 | 17 | 17 | 10 | 10 | 1 | 1 | |
| Verification.java | | 0% | n/a | 10 | 10 | 15 | 15 | 10 | 10 | 1 | 1 |