Skip to main content

add_zero_invalid_support_vars

foundry_evm_symbolic::runtime::solver::fallback

Function add_zero_invalid_support_vars 

Source 
fn add_zero_invalid_support_vars(
    vars: &mut IndexSet<Symbol>,
    constraints: &[SymBoolExpr],
)