Skip to main content

checked_mul_guard_operands

foundry_evm_symbolic::runtime::solver::fallback

Function checked_mul_guard_operands 

Source 
fn checked_mul_guard_operands(
    condition: &SymBoolExpr,
) -> Option<(SymExpr, SymExpr, SymBoolExpr)>