| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 48 of 301 | 84% | 4 of 22 | 81% | 15 | 43 | 20 | 102 | 11 | 32 | 0 | 4 |
| DiffBasedWorldState.java | | 83% | | 81% | 15 | 42 | 20 | 99 | 11 | 31 | 0 | 3 |
| DiffBasedWorldView.java | | 100% | n/a | 0 | 1 | 0 | 3 | 0 | 1 | 0 | 1 |