Expand description
Worker-local call execution policy shared by stateless and invariant fuzz campaigns.
StructsΒ§
- Block
Snapshot π - Fuzz
Campaign π - Concrete worker-local campaign execution policy.
EnumsΒ§
- Campaign
Call πKind - Classification produced by the common call loop.
- Campaign
Control π - Campaign
Event π - Campaign
Sequence πOutcome - Fuzz
Campaign πMode - 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