| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,750 of 1,750 | 0% | 263 of 263 | 0% | 220 | 220 | 402 | 402 | 82 | 82 | 18 | 18 |
| ConstantsAssumption.java | | 0% | | 0% | 66 | 66 | 115 | 115 | 25 | 25 | 3 | 3 |
| ExpressionEvaluator.java | | 0% | | 0% | 49 | 49 | 63 | 63 | 10 | 10 | 2 | 2 |
| AssumptionDeducer.java | | 0% | | 0% | 37 | 37 | 65 | 65 | 10 | 10 | 1 | 1 |
| ConstantConditionTransformation.java | | 0% | | 0% | 18 | 18 | 37 | 37 | 8 | 8 | 3 | 3 |
| ConstantsFlowFunction.java | | 0% | | 0% | 19 | 19 | 44 | 44 | 8 | 8 | 2 | 2 |
| ConstantsTransformationFunction.java | | 0% | | 0% | 11 | 11 | 31 | 31 | 5 | 5 | 2 | 2 |
| FoldConstantTransformer.java | | 0% | | 0% | 8 | 8 | 24 | 24 | 5 | 5 | 2 | 2 |
| FoldConstantsTransformation.java | | 0% | n/a | 4 | 4 | 9 | 9 | 4 | 4 | 1 | 1 | |
| ConstantsIntegratedFlowFunction.java | | 0% | | 0% | 4 | 4 | 9 | 9 | 3 | 3 | 1 | 1 |
| ConstantsAnalysis.java | | 0% | n/a | 4 | 4 | 5 | 5 | 4 | 4 | 1 | 1 |