| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 966 of 1,129 | 14% | 37 of 48 | 23% | 133 | 171 | 255 | 319 | 107 | 138 | 11 | 17 |
| BlockNode | | 20% | | 38% | 9 | 18 | 23 | 38 | 5 | 12 | 0 | 1 |
| StatementNode | | 13% | | 17% | 7 | 11 | 16 | 23 | 4 | 8 | 0 | 1 |
| AssertStatementNode | | 17% | | 33% | 9 | 14 | 19 | 27 | 6 | 10 | 0 | 1 |
| PragmaNode | | 15% | | 0% | 11 | 15 | 20 | 27 | 7 | 11 | 0 | 1 |
| ForLoopNode | | 43% | | 42% | 13 | 28 | 23 | 47 | 7 | 18 | 0 | 1 |
| AssumeStatementNode | | 8% | | 0% | 12 | 13 | 19 | 22 | 8 | 9 | 0 | 1 |
| ReturnNode | | 0% | | 0% | 13 | 13 | 19 | 19 | 11 | 11 | 1 | 1 |
| SwitchStatementNode | | 0% | n/a | 10 | 10 | 20 | 20 | 10 | 10 | 1 | 1 | |
| WhileLoopNode | | 0% | n/a | 8 | 8 | 16 | 16 | 8 | 8 | 1 | 1 | |
| IfThenElseStatementNode | | 0% | n/a | 8 | 8 | 16 | 16 | 8 | 8 | 1 | 1 | |
| DoUntilNode | | 0% | n/a | 8 | 8 | 15 | 15 | 8 | 8 | 1 | 1 | |
| FunctionApplicationNode | | 0% | n/a | 6 | 6 | 12 | 12 | 6 | 6 | 1 | 1 | |
| BreakNode | | 0% | n/a | 6 | 6 | 12 | 12 | 6 | 6 | 1 | 1 | |
| ExpressionStatementNode | | 0% | n/a | 4 | 4 | 8 | 8 | 4 | 4 | 1 | 1 | |
| GotoNode | | 0% | n/a | 4 | 4 | 8 | 8 | 4 | 4 | 1 | 1 | |
| ContinueNode | | 0% | n/a | 4 | 4 | 7 | 7 | 4 | 4 | 1 | 1 | |
| NoopNode | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |