Skip to main content

normalize_udiv_eq_zero

foundry_evm_symbolic::runtime::solver::normalize

Function normalize_udiv_eq_zero 

Source 
pub(crate) fn normalize_udiv_eq_zero(
    left: &Expr,
    right: &Expr,
) -> Option<BoolExpr>
Expand description

Rewrites udiv(a, b) == 0 predicates using EVM division-by-zero semantics.