Skip to main content

checked_mul_guard_conjunction

foundry_evm_symbolic::runtime::solver::fallback

Function checked_mul_guard_conjunction 

Source 
fn checked_mul_guard_conjunction(
    values: &[SymBoolExpr],
) -> Option<(SymExpr, SymExpr)>