Skip to main content

propagate_fallback_support_constraints

foundry_evm_symbolic::runtime::solver::fallback

Function propagate_fallback_support_constraints 

Source 
fn propagate_fallback_support_constraints(
    constraints: &[SymBoolExpr],
    model: &mut HashMap<Symbol, U256>,
    remaining_support_visits: &mut usize,
) -> bool