Skip to main content

call_after_invariant_function

foundry_evm::executors::invariant

Function call_after_invariant_function 

Source 
pub(crate) fn call_after_invariant_function<FEN: FoundryEvmNetwork>(
    executor: &Executor<FEN>,
    to: Address,
) -> Result<(RawCallResult<FEN>, bool), EvmError<FEN>>
Expand description

Calls the afterInvariant() function on a contract. Returns call result and if call succeeded. The state after the call is not persisted.

Uses the handler-gate success check so a stale committed GLOBAL_FAIL_SLOT from a previously-recorded handler bug doesn’t false-positive this call (the slot is 1 from the prior bug, but afterInvariant itself didn’t write it in this changeset).