| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 212 of 212 | 0% | 22 of 22 | 0% | 19 | 19 | 35 | 35 | 8 | 8 |
| canonicalizeInequality(RowExpression) | | 0% | | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
| lambda$isInequalityInferenceCandidate$0(RowExpression) | | 0% | | 0% | 8 | 8 | 7 | 7 | 1 | 1 |
| InequalityInference.Builder(FunctionAndTypeManager, ExpressionEquivalence, Optional) | | 0% | n/a | 1 | 1 | 8 | 8 | 1 | 1 | |
| addInequalityInferenceCandidate(RowExpression) | | 0% | n/a | 1 | 1 | 3 | 3 | 1 | 1 | |
| extractInequalityInferenceCandidates(RowExpression) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| addInequalityInferences(RowExpression[]) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| build() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isInequalityInferenceCandidate() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |