Skip to main content

normalize_constraint_batch

foundry_evm_symbolic::runtime::solver::opt

Function normalize_constraint_batch 

Source 
fn normalize_constraint_batch(
    constraints: impl IntoIterator<Item = SymBoolExpr>,
    capacity: usize,
) -> Vec<SymBoolExpr>