Module campaign 

Worker-local call execution policy shared by stateless and invariant fuzz campaigns.

Re-exports

use super::Executor; 🔒

use super::RawCallResult; 🔒

use alloy_primitives::U256; 🔒

use eyre::Result; 🔒

use eyre::eyre; 🔒

use foundry_evm_core::FoundryBlock; 🔒

use foundry_evm_core::constants::MAGIC_ASSUME; 🔒

use foundry_evm_core::evm::BlockEnvFor; 🔒

use foundry_evm_core::evm::FoundryEvmNetwork; 🔒

use foundry_evm_fuzz::BasicTxDetails; 🔒

use revm::context::Block; 🔒

Structs

BlockSnapshot 🔒

FuzzCampaign 🔒

Concrete worker-local campaign execution policy.

Enums

CampaignCallKind 🔒

Classification produced by the common call loop.

CampaignControl 🔒

CampaignEvent 🔒

CampaignSequenceOutcome 🔒

FuzzCampaignMode 🔒

The small set of execution policies which differ between fuzzing modes.

Functions

apply_block_delay 🔒

Advances the execution block environment and the cheatcode block override by an invariant call’s warp and roll delays.

execute_invariant_replay_tx 🔒

Executes and commits one invariant replay call with live campaign semantics.

execute_invariant_tx 🔒

transition_invariant_call 🔒