Skip to main content

model_satisfies_constraints

foundry_evm_symbolic::runtime::solver

Function model_satisfies_constraints 

Source 
fn model_satisfies_constraints(
    model: &BTreeMap<String, U256>,
    constraints: &[BoolExpr],
) -> bool
Expand description

Returns whether a parsed model satisfies the current original constraints.