Skip to main content

check_sequence_value

foundry_evm::executors::invariant::shrink

Function check_sequence_value 

Source 
pub fn check_sequence_value(
    executor: Executor,
    calls: &[BasicTxDetails],
    sequence: Vec<usize>,
    test_address: Address,
    calldata: Bytes,
) -> Result<Option<I256>>
Expand description

Executes a call sequence and returns the optimization value (int256) from the invariant function. Used during shrinking for optimization mode.

Returns None if the invariant call fails or doesn’t return a valid int256. Unlike check_sequence, this applies warp/roll from ALL calls (including removed ones).