Skip to main content

expr_contains_hard_arith

foundry_evm_symbolic::runtime::solver::hard_arith_fallback

Function expr_contains_hard_arith 

Source 
pub(crate) fn expr_contains_hard_arith(expr: &Expr) -> bool
Expand description

Returns the expr_contains_hard_arith solver helper result.