| 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 | | 73% | | 64% | 133 | 264 | 170 | 621 | 23 | 41 | 0 | 1 |
| Util | | 56% | | 43% | 89 | 143 | 154 | 356 | 10 | 28 | 0 | 1 |
| PropagationGraphSwitch | | 0% | | 0% | 15 | 15 | 23 | 23 | 7 | 7 | 1 | 1 |
| PropagationGraphAdapterFactory | | 0% | | 0% | 11 | 11 | 15 | 15 | 7 | 7 | 1 | 1 |
| PropagationGraphAdapterFactory.new PropagationGraphSwitch() {...} | | 0% | n/a | 5 | 5 | 5 | 5 | 5 | 5 | 1 | 1 |