Skip to main content

reversed_strict_comparison

foundry_evm_symbolic::runtime::solver::monotonic_product

Function reversed_strict_comparison 

Source 
fn reversed_strict_comparison(
    expr: &SymBoolExpr,
) -> Option<(&SymExpr, &SymExpr)>
Expand description

Returns a strict comparison that contradicts right <= left.