Skip to main content

checked_mul_guard_branch

foundry_evm_symbolic::runtime::solver::fallback

Function checked_mul_guard_branch 

Source 
fn checked_mul_guard_branch(
    constraint: &SymBoolExpr,
) -> Option<(SymExpr, SymExpr, bool)>