forge::fuzz

Module invariant

Source

Structsยง

  • ArtifactFilters
    Contains which contracts are to be targeted or excluded on an invariant test through their artifact identifiers.
  • BasicTxDetails
    Details of a transaction generated by invariant strategy for fuzzing a target.
  • CallDetails
    Call details of a transaction generated to fuzz invariant target.
  • FuzzRunIdentifiedContracts
    Contracts identified as targets during a fuzz run.
  • InvariantContract
    Test contract which is testing its invariants.
  • RandomCallGenerator
    Given a TestRunner and a strategy, it generates calls. Used inside the Fuzzer inspector to override external calls to test for potential reentrancy vulnerabilities..
  • SenderFilters
    Filter for acceptable senders to use for invariant testing. Exclusion takes priority if clashing.
  • TargetedContract
    A contract identified as target for invariant testing.
  • TargetedContracts
    A collection of contracts identified as targets for invariant testing.