Skip to main content

collect_solver_vars

foundry_evm_symbolic::runtime::solver

Function collect_solver_vars 

Source 
fn collect_solver_vars(
    constraint: &SymBoolExpr,
    vars: &mut IndexSet<Symbol>,
) -> bool
Expand description

Collects variables as the SMT writer sees them, stopping at opaque hash leaves.