| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,472 of 4,183 | 64% | 309 of 698 | 55% | 253 | 438 | 366 | 1,019 | 52 | 88 | 3 | 5 |
| PropagationGraphBackwardTraversal.java | | 73% | | 64% | 133 | 264 | 170 | 621 | 23 | 41 | 0 | 1 |
| Util.java | | 56% | | 43% | 89 | 143 | 154 | 356 | 10 | 28 | 0 | 1 |
| PropagationGraphSwitch.java | | 0% | | 0% | 15 | 15 | 23 | 23 | 7 | 7 | 1 | 1 |
| PropagationGraphAdapterFactory.java | | 0% | | 0% | 16 | 16 | 19 | 19 | 12 | 12 | 2 | 2 |