Skip to main content

run_shrink_loop

foundry_evm::executors::invariant::shrink

Function run_shrink_loop 

Source 
fn run_shrink_loop<P>(
    config: &InvariantConfig,
    calls: &[BasicTxDetails],
    progress: &ShrinkProgress<'_>,
    accumulate_warp_roll: bool,
    early_exit: &EarlyExit,
    error_policy: ShrinkErrorPolicy,
    predicate: P,
) -> SequenceShrink
where
    P: FnMut(&SequenceShrink) -> Result<bool>,
Expand description

Shared shrink loop driver. Tries to drop each call; predicate returns whether the candidate still triggers the bug.