Skip to main content

minimize_u256_pair_delta_candidates

forge::symbolic_minimizer

Function minimize_u256_pair_delta_candidates 

Source 
fn minimize_u256_pair_delta_candidates(
    current_left: U256,
    current_right: U256,
    try_candidate: &mut impl FnMut(U256, U256) -> bool,
) -> bool