| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 2,345 of 6,325 | 63% | 268 of 525 | 49% | 221 | 400 | 529 | 1,446 | 41 | 130 | 5 | 13 |
| MemoryLocationManager.java | | 0% | | 0% | 75 | 75 | 258 | 258 | 19 | 19 | 4 | 4 |
| ContractClauseTransformer.java | | 77% | | 60% | 76 | 164 | 135 | 628 | 6 | 43 | 0 | 2 |
| ContractTransformerWorker.java | | 74% | | 57% | 31 | 59 | 102 | 370 | 1 | 13 | 0 | 1 |
| MPIContractTransformState.java | | 0% | | 0% | 14 | 14 | 13 | 13 | 8 | 8 | 1 | 1 |
| MPIContractUtilities.java | | 72% | | 40% | 9 | 29 | 15 | 53 | 5 | 24 | 0 | 2 |
| FunctionContractBlock.java | | 92% | | 80% | 16 | 59 | 6 | 124 | 2 | 23 | 0 | 3 |