Skip to main content

normalize_contextually

foundry_evm_symbolic::runtime::solver::normalize

Function normalize_contextually 

Source 
fn normalize_contextually(
    cx: &mut SymCx,
    normalized: Vec<SymBoolExpr>,
    changed_conjuncts: &HashSet<SymBoolExpr>,
    requires_independent_context: impl FnMut(&SymBoolExpr) -> bool,
) -> Vec<SymBoolExpr>
Expand description

Applies context-dependent rewrites to an already context-free-normalized conjunction.