Skip to main content

normalize_bounded_comparisons

foundry_evm_symbolic::runtime::solver::normalize

Function normalize_bounded_comparisons 

Source 
fn normalize_bounded_comparisons(
    cx: &mut SymCx,
    constraints: Vec<SymBoolExpr>,
) -> Vec<SymBoolExpr>
Expand description

Simplifies predicates using only the other, still-retained conjuncts.