| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,724 of 7,523 | 77% | 221 of 656 | 66% | 195 | 504 | 364 | 1,663 | 40 | 168 | 5 | 24 |
| MemoryLocationManager.java | | 1% | | 0% | 77 | 79 | 268 | 274 | 17 | 19 | 3 | 4 |
| ClauseTransformGuideGenerator.java | | 83% | | 66% | 27 | 65 | 34 | 255 | 3 | 25 | 0 | 2 |
| MPIContractUtilities.java | | 17% | | 0% | 12 | 15 | 21 | 24 | 8 | 11 | 1 | 2 |
| ContractTransformerWorker.java | | 96% | | 73% | 31 | 93 | 11 | 414 | 1 | 25 | 0 | 5 |
| ContractClauseTransformer.java | | 96% | | 91% | 14 | 114 | 8 | 435 | 1 | 34 | 0 | 2 |
| MPIContractTransformState.java | | 0% | | 0% | 14 | 14 | 13 | 13 | 8 | 8 | 1 | 1 |
| FunctionContractBlock.java | | 94% | | 83% | 12 | 65 | 6 | 125 | 1 | 29 | 0 | 4 |
| SpecialContractExpressionFinder.java | | 97% | | 98% | 2 | 46 | 3 | 111 | 1 | 11 | 0 | 2 |
| ValueAtNodeSubstituteGuide.java | | 91% | | 62% | 3 | 7 | 0 | 7 | 0 | 3 | 0 | 1 |
| CommonASTNodeSubstituteGuide.java | | 82% | | 50% | 3 | 6 | 0 | 5 | 0 | 3 | 0 | 1 |