Module invariants

Functions

• fuzz_contract_with_calldata
  Given a function, it returns a proptest strategy which generates valid abi-encoded calldata for that function’s input types.
• invariant_strat
  Creates the invariant strategy.
• override_call_strat
  Given a target address, we generate random calldata.
• select_random_sender 🔒
  Strategy to select a sender address: