| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 27 of 126 | 79% | 2 of 2 | 0% | 2 | 14 | 4 | 32 | 1 | 13 |
| toString() | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| ASTAssertStatement(ASTExpressionIF, String) | | 100% | n/a | 0 | 1 | 0 | 9 | 0 | 1 | |
| ASTAssertStatement(ASTExpressionIF, ASTIdentifier) | | 100% | n/a | 0 | 1 | 0 | 9 | 0 | 1 | |
| ASTAssertStatement(ASTExpressionIF) | | 100% | n/a | 0 | 1 | 0 | 8 | 0 | 1 | |
| setCollective(boolean) | | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 | |
| setJoint(boolean) | | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 | |
| setInvariant(boolean) | | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 | |
| id() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| getAssertion() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| getMessage() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| isCollective() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| isJoint() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| isInvariant() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |