Modules§
- call_
override 🔒 - filters 🔒
Structs§
- Artifact
Filters - Contains which contracts are to be targeted or excluded on an invariant test through their artifact identifiers.
- Fuzz
RunIdentified Contracts - Contracts identified as targets during a fuzz run.
- Invariant
Contract - Test contract which is testing its invariants.
- 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
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.