| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 623 of 1,886 | 67% | 82 of 204 | 60% | 75 | 174 | 91 | 365 | 7 | 72 | 0 | 10 |
| InvocationStatement | | 65% | | 70% | 12 | 30 | 12 | 66 | 0 | 8 | 0 | 1 |
| AssignmentStatement | | 49% | | 55% | 14 | 28 | 23 | 48 | 3 | 8 | 0 | 1 |
| Statement | | 71% | | 38% | 16 | 33 | 18 | 72 | 0 | 17 | 0 | 1 |
| AllocateStatement | | 66% | | 54% | 10 | 19 | 10 | 39 | 0 | 6 | 0 | 1 |
| ReceiveStatement | | 74% | | 67% | 5 | 14 | 6 | 35 | 1 | 8 | 0 | 1 |
| ReturnStatement | | 67% | | 81% | 3 | 12 | 4 | 22 | 0 | 4 | 0 | 1 |
| AssertionStatement | | 76% | | 64% | 7 | 15 | 9 | 33 | 2 | 8 | 0 | 1 |
| SendStatement | | 76% | | 50% | 2 | 8 | 2 | 19 | 0 | 6 | 0 | 1 |
| AssumeStatement | | 68% | | 60% | 5 | 9 | 5 | 19 | 1 | 4 | 0 | 1 |
| NoopStatement | | 93% | | 83% | 1 | 6 | 2 | 12 | 0 | 3 | 0 | 1 |