Skip to main content

seed_bounded_support_vars

foundry_evm_symbolic::runtime::solver::fallback

Function seed_bounded_support_vars 

Source 
fn seed_bounded_support_vars(
    constraints: &[SymBoolExpr],
    model: &mut HashMap<Symbol, U256>,
) -> bool
Expand description

Seeds only unassigned scalar variables; every resulting witness is still fully validated.