Modules§
- call_
override 🔒 - filters 🔒
Structs§
- Artifact
Filters - Contains which contracts are to be targeted or excluded on an invariant test through their artifact identifiers.
- Cached
Target 🔒Contract - Fuzz
RunIdentified Contracts - Contracts identified as targets during a fuzz run.
- Invariant
Contract - Test contract which is testing its invariants.
- Invariant
Settings - Settings that determine the validity of a persisted invariant counterexample.
- Random
Call Generator - Given a TestRunner and a strategy, it generates calls. Used inside the Fuzzer inspector to override external calls to test for potential reentrancy vulnerabilities.
- Sender
Filters - Filter for acceptable senders to use for invariant testing. Exclusion takes priority if clashing.
- Targeted
Contract - A contract identified as target for invariant testing.
- Targeted
Contract Event - Event with its flattened ABI order for preserving log decode priority.
- Targeted
Contract Events - Events for a targeted contract, pre-indexed for log dictionary decoding.
- Targeted
Contracts - A collection of contracts identified as targets for invariant testing.
Functions§
- is_
optimization_ invariant - Returns true if the function returns
int256, indicating optimization mode. In optimization mode, the fuzzer maximizes the return value instead of checking invariants.