Skip to main content

eval_model_constraints

foundry_evm_symbolic::runtime::expr

Function eval_model_constraints 

Source 
pub(crate) fn eval_model_constraints<M: SymbolicModelLookup + ?Sized>(
    constraints: &[SymBoolExpr],
    model: &M,
) -> bool