Skip to main content

Module campaign

Module campaign 

Source
Expand description

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

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 πŸ”’