| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 423 of 423 | 0% | 34 of 34 | 0% | 53 | 53 | 110 | 110 | 36 | 36 | 4 | 4 |
| VerifierFactory | | 0% | | 0% | 33 | 33 | 64 | 64 | 21 | 21 | 1 | 1 |
| VerifierConfigurationException | | 0% | | 0% | 11 | 11 | 25 | 25 | 8 | 8 | 1 | 1 |
| VerifierException | | 0% | | 0% | 8 | 8 | 19 | 19 | 6 | 6 | 1 | 1 |
| Verifier | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |