| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 405 of 1,400 | 71% | 53 of 154 | 66% | 67 | 177 | 70 | 357 | 18 | 100 | 0 | 16 |
| Location | | 74% | | 71% | 19 | 60 | 20 | 108 | 8 | 39 | 0 | 1 |
| LoopLocation | | 75% | | 78% | 11 | 34 | 13 | 72 | 3 | 9 | 0 | 1 |
| AssumeLocation | | 58% | | 50% | 4 | 7 | 4 | 15 | 1 | 4 | 0 | 1 |
| AllocateLocation | | 58% | | 50% | 4 | 7 | 4 | 15 | 1 | 4 | 0 | 1 |
| AssertionLocation | | 58% | | 50% | 4 | 7 | 4 | 15 | 1 | 4 | 0 | 1 |
| ReturnLocation | | 58% | | 50% | 4 | 7 | 4 | 15 | 1 | 4 | 0 | 1 |
| BinaryChoiceLocation | | 75% | | 50% | 3 | 10 | 3 | 23 | 0 | 7 | 0 | 1 |
| SendLocation | | 64% | | 50% | 3 | 7 | 3 | 15 | 0 | 4 | 0 | 1 |
| AssignmentLocation | | 64% | | 50% | 3 | 7 | 3 | 15 | 0 | 4 | 0 | 1 |
| InvocationLocation | | 64% | | 50% | 3 | 7 | 3 | 15 | 0 | 4 | 0 | 1 |
| StandardReceiveLocation | | 64% | | 50% | 3 | 7 | 3 | 15 | 0 | 4 | 0 | 1 |
| TerminalLocation | | 70% | | 67% | 2 | 5 | 2 | 10 | 0 | 2 | 0 | 1 |
| BranchLocation | | 67% | | 50% | 2 | 5 | 2 | 10 | 1 | 4 | 0 | 1 |
| ForLoopLocation | | 76% | n/a | 2 | 5 | 2 | 10 | 2 | 5 | 0 | 1 | |
| AnySourceReceiveLocation | | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 | |
| ChoiceLocation | | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |