| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,991 of 4,742 | 58% | 239 of 427 | 44% | 208 | 348 | 425 | 1,013 | 51 | 127 | 5 | 21 |
| MemoryLocationManager.java | | 1% | | 0% | 66 | 68 | 217 | 222 | 15 | 17 | 2 | 3 |
| ClauseTransformGuideGenerator.java | | 19% | | 19% | 27 | 37 | 91 | 121 | 9 | 16 | 0 | 2 |
| ContractClauseTransformer.java | | 78% | | 71% | 20 | 56 | 30 | 164 | 2 | 17 | 0 | 2 |
| ContractTransformerWorker.java | | 90% | | 60% | 37 | 78 | 28 | 309 | 2 | 23 | 0 | 5 |
| FunctionContractBlock.java | | 77% | | 57% | 20 | 50 | 16 | 95 | 3 | 24 | 0 | 3 |
| MPIContractUtilities.java | | 0% | | 0% | 15 | 15 | 24 | 24 | 11 | 11 | 2 | 2 |
| MPIContractTransformState.java | | 0% | | 0% | 14 | 14 | 13 | 13 | 8 | 8 | 1 | 1 |
| SpecialContractExpressionFinder.java | | 92% | | 80% | 8 | 26 | 6 | 60 | 1 | 8 | 0 | 2 |
| CommonASTNodeSubstituteGuide.java | | 84% | | 50% | 1 | 4 | 0 | 5 | 0 | 3 | 0 | 1 |