| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 310 of 1,397 | 77% | 42 of 145 | 71% | 45 | 133 | 56 | 263 | 14 | 60 | 2 | 5 |
| DefinitionContentInspector.java | | 82% | | 72% | 28 | 90 | 26 | 169 | 6 | 39 | 0 | 1 |
| Verifier.java | | 0% | | 0% | 11 | 11 | 22 | 22 | 7 | 7 | 2 | 2 |
| DefinitionJoiner.java | | 76% | | 76% | 6 | 21 | 8 | 50 | 1 | 8 | 0 | 1 |
| DefinitionGraphInpector.java | | 100% | | 100% | 0 | 11 | 0 | 22 | 0 | 6 | 0 | 1 |