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: