shrink_sequence

foundry_evm::executors::invariant::shrink

Function shrink_sequence 

Source 
pub(crate) fn shrink_sequence(
    failed_case: &FailedInvariantCaseData,
    calls: &[BasicTxDetails],
    executor: &Executor,
    call_after_invariant: bool,
    progress: Option<&ProgressBar>,
    early_exit: &EarlyExit,
) -> Result<Vec<BasicTxDetails>>
Expand description

Shrinks the failure case to its smallest sequence of calls.

The shrunk call sequence always respect the order failure is reproduced as it is tested top-down.