Skip to main content

replay_sequence

foundry_evm::executors::invariant::shrink

Function replay_sequence 

Source 
fn replay_sequence<FEN, T, F>(
    executor: &mut Executor<FEN>,
    calls: &[BasicTxDetails],
    sequence: &[usize],
    accumulate_warp_roll: bool,
    on_call: F,
) -> Result<Option<T>>
where
    FEN: FoundryEvmNetwork,
    F: FnMut(usize, RawCallResult<FEN>) -> Result<ReplayDecision<T, FEN>>,
Expand description

Replays sequence (indices into calls) against executor. When accumulate_warp_roll is set, warp/roll from skipped calls is folded into the next included call. on_call may stop early; otherwise non-reverted calls are committed.