Skip to main content

model_satisfies_constraints

foundry_evm_symbolic::runtime::solver

Function model_satisfies_constraints 

Source 
fn model_satisfies_constraints(
    model: &(impl SymbolicModelLookup + ?Sized),
    constraints: &[SymBoolExpr],
) -> bool
Expand description

Returns whether a parsed model satisfies the current original constraints.