Skip to main content

is_hard_arith_node

foundry_evm_symbolic::runtime::solver::hard_arith_fallback

Function is_hard_arith_node 

Source 
fn is_hard_arith_node(expr: &SymExpr) -> bool