Skip to main content

shrink_handler_sequence

foundry_evm::executors::invariant::shrink

Function shrink_handler_sequence 

Source 
pub(crate) fn shrink_handler_sequence<FEN: FoundryEvmNetwork>(
    config: &InvariantConfig,
    calls: &[BasicTxDetails],
    expected_fingerprint: B256,
    executor: &Executor<FEN>,
    progress: Option<&ProgressBar>,
    early_exit: &EarlyExit,
) -> Result<Vec<BasicTxDetails>>
Expand description

Shrinks a handler-bug sequence to the shortest prefix that still asserts on the anchor AND keeps the same edge fingerprint (so we don’t change bug identity).