Skip to main content

fallback_partial_model_satisfies_known_constraints

foundry_evm_symbolic::runtime::solver::fallback

Function fallback_partial_model_satisfies_known_constraints 

Source 
fn fallback_partial_model_satisfies_known_constraints(
    constraints: &[SymBoolExpr],
    constraint_vars: &[IndexSet<Symbol>],
    searched_vars: &IndexSet<Symbol>,
    model: &HashMap<Symbol, U256>,
) -> bool