Skip to main content

product_less_than_known

foundry_evm_symbolic::runtime::solver::monotonic_product

Function product_less_than_known 

Source 
fn product_less_than_known<'a>(
    left_a: &'a SymExpr,
    left_b: &'a SymExpr,
    right_a: &'a SymExpr,
    right_b: &'a SymExpr,
    less_than: &HashSet<(&'a SymExpr, &'a SymExpr)>,
    positive: &HashSet<&'a SymExpr>,
    bounds: &ConstraintContext,
) -> bool