Skip to main content

zero_mask_equality

foundry_evm_symbolic::runtime::solver::hard_arith_fallback

Function zero_mask_equality 

Source 
fn zero_mask_equality(
    var: &Symbol,
    masked: &SymExpr,
    zero: &SymExpr,
) -> Option<U256>