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_len: usize,
    progress: Option<&ProgressBar>,
    early_exit: &EarlyExit,
    error_policy: ShrinkErrorPolicy,
    predicate: P,
) -> CallSequenceShrinker
where
    P: FnMut(&CallSequenceShrinker) -> Result<bool>,
Expand description

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