Skip to main content

self_div_expr_matches_zero_check

foundry_evm_symbolic::runtime::solver::normalize

Function self_div_expr_matches_zero_check 

Source 
fn self_div_expr_matches_zero_check(cond: &BoolExpr, expr: &Expr) -> bool
Expand description

Returns whether expr is a / a for the operand guarded by cond.