| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 4,548 of 4,662 | 2% | 402 of 409 | 1% | 333 | 337 | 970 | 995 | 121 | 125 | 20 | 21 |
| ContractTransformerWorker.java | | 7% | | 7% | 63 | 67 | 266 | 291 | 17 | 21 | 4 | 5 |
| MemoryLocationManager.java | | 0% | | 0% | 68 | 68 | 222 | 222 | 17 | 17 | 3 | 3 |
| ContractClauseTransformer.java | | 0% | | 0% | 56 | 56 | 164 | 164 | 17 | 17 | 2 | 2 |
| ClauseTransformGuideGenerator.java | | 0% | | 0% | 37 | 37 | 121 | 121 | 16 | 16 | 2 | 2 |
| FunctionContractBlock.java | | 0% | | 0% | 50 | 50 | 95 | 95 | 24 | 24 | 3 | 3 |
| SpecialContractExpressionFinder.java | | 0% | | 0% | 26 | 26 | 60 | 60 | 8 | 8 | 2 | 2 |
| MPIContractUtilities.java | | 0% | | 0% | 15 | 15 | 24 | 24 | 11 | 11 | 2 | 2 |
| MPIContractTransformState.java | | 0% | | 0% | 14 | 14 | 13 | 13 | 8 | 8 | 1 | 1 |
| CommonASTNodeSubstituteGuide.java | | 0% | | 0% | 4 | 4 | 5 | 5 | 3 | 3 | 1 | 1 |