| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 7,346 of 7,346 | 0% | 794 of 794 | 0% | 549 | 549 | 1,089 | 1,089 | 152 | 152 | 13 | 13 |
| Pass2Verifier.java | | 0% | | 0% | 272 | 272 | 533 | 533 | 54 | 54 | 4 | 4 |
| Pass3aVerifier.java | | 0% | | 0% | 204 | 204 | 418 | 418 | 43 | 43 | 2 | 2 |
| StringRepresentation.java | | 0% | n/a | 32 | 32 | 67 | 67 | 32 | 32 | 1 | 1 | |
| LocalVariableInfo.java | | 0% | | 0% | 12 | 12 | 21 | 21 | 7 | 7 | 1 | 1 |
| Pass1Verifier.java | | 0% | | 0% | 8 | 8 | 17 | 17 | 4 | 4 | 1 | 1 |
| LocalVariablesInfo.java | | 0% | | 0% | 10 | 10 | 15 | 15 | 3 | 3 | 1 | 1 |
| IntList.java | | 0% | | 0% | 5 | 5 | 10 | 10 | 3 | 3 | 1 | 1 |
| LONG_Upper.java | 0% | n/a | 3 | 3 | 4 | 4 | 3 | 3 | 1 | 1 | ||
| DOUBLE_Upper.java | 0% | n/a | 3 | 3 | 4 | 4 | 3 | 3 | 1 | 1 |