| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 145 of 487 | 70% | 5 of 22 | 77% | 24 | 67 | 46 | 140 | 20 | 56 | 2 | 10 |
| CommonForkStatement | | 75% | | 67% | 5 | 11 | 8 | 25 | 3 | 8 | 0 | 1 |
| CommonChooseStatement | | 0% | n/a | 3 | 3 | 5 | 5 | 3 | 3 | 1 | 1 | |
| CommonAssumeStatement | | 0% | n/a | 4 | 4 | 7 | 7 | 4 | 4 | 1 | 1 | |
| CommonCallStatement | | 72% | | 100% | 2 | 10 | 7 | 23 | 2 | 9 | 0 | 1 |
| CommonStatement | | 85% | | 75% | 3 | 16 | 6 | 39 | 1 | 10 | 0 | 1 |
| CommonAssertStatement | | 68% | n/a | 3 | 6 | 5 | 11 | 3 | 6 | 0 | 1 | |
| CommonAssignStatement | | 78% | n/a | 2 | 6 | 4 | 11 | 2 | 6 | 0 | 1 | |
| CommonReturnStatement | | 86% | | 100% | 1 | 5 | 2 | 9 | 1 | 4 | 0 | 1 |
| CommonJoinStatement | | 83% | n/a | 1 | 4 | 2 | 7 | 1 | 4 | 0 | 1 | |
| CommonNoopStatement | | 100% | n/a | 0 | 2 | 0 | 3 | 0 | 2 | 0 | 1 |