| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 1,124 of 1,124 | 0% | 76 of 76 | 0% | 48 | 48 | 206 | 206 | 10 | 10 |
| instrumentedLoop(LoopNode) | | 0% | | 0% | 6 | 6 | 44 | 44 | 1 | 1 |
| instrumentedSwitch(SwitchNode, Set) | | 0% | | 0% | 9 | 9 | 40 | 40 | 1 | 1 |
| instrumentBranchStatements(ASTNode) | | 0% | | 0% | 16 | 16 | 36 | 36 | 1 | 1 |
| instrumentAssume(Source, ExpressionNode) | | 0% | | 0% | 3 | 3 | 21 | 21 | 1 | 1 |
| transformCore(AST) | | 0% | | 0% | 8 | 8 | 26 | 26 | 1 | 1 |
| instrumentGlobalDefinitions(SequenceNode) | | 0% | | 0% | 2 | 2 | 16 | 16 | 1 | 1 |
| instrumentAssert(Source, ExpressionNode) | | 0% | n/a | 1 | 1 | 8 | 8 | 1 | 1 | |
| DirectingWorker(ASTFactory, CIVLConfiguration) | | 0% | n/a | 1 | 1 | 10 | 10 | 1 | 1 | |
| instrumentedIf(IfNode) | | 0% | n/a | 1 | 1 | 4 | 4 | 1 | 1 | |
| static {...} | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |