Skip to main content

const_side_bound

foundry_evm_symbolic::runtime::solver::opt

Function const_side_bound 

Source 
fn const_side_bound<'a>(
    left: &'a SymExpr,
    right: &'a SymExpr,
) -> Option<(&'a SymExpr, U256)>