| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 625 of 625 | 0% | 24 of 24 | 0% | 43 | 43 | 85 | 85 | 31 | 31 | 9 | 9 |
| CIVLExecutionException.ErrorKind | | 0% | n/a | 4 | 4 | 26 | 26 | 4 | 4 | 1 | 1 | |
| CIVLExecutionException | | 0% | | 0% | 11 | 11 | 14 | 14 | 6 | 6 | 1 | 1 |
| CIVLStateException | | 0% | | 0% | 7 | 7 | 13 | 13 | 4 | 4 | 1 | 1 |
| CIVLExecutionException.Certainty | | 0% | n/a | 4 | 4 | 5 | 5 | 4 | 4 | 1 | 1 | |
| CIVLException | | 0% | | 0% | 8 | 8 | 10 | 10 | 4 | 4 | 1 | 1 |
| CIVLSyntaxException | | 0% | n/a | 3 | 3 | 6 | 6 | 3 | 3 | 1 | 1 | |
| CIVLUnimplementedFeatureException | | 0% | n/a | 3 | 3 | 6 | 6 | 3 | 3 | 1 | 1 | |
| CIVLInternalException | | 0% | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 | |
| UnsatisfiablePathConditionException | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |