foundry_evm::executors::invariant::shrink

Function handler_sequence_still_triggers_bug

fn handler_sequence_still_triggers_bug<FEN: FoundryEvmNetwork>(
    executor: Executor<FEN>,
    calls: &[BasicTxDetails],
    sequence: Vec<usize>,
    accumulate_warp_roll: bool,
    expected_fingerprint: B256,
) -> Result<bool>

Expand description

Shrink predicate: anchor asserts on the same path as the originally recorded bug.

handler_sequence_still_triggers_bug

Function handler_sequence_still_triggers_bug Copy item path

Function handler_sequence_still_triggers_bug