Skip to main content Module strategies Copy item path Source EvmFuzzState A set of arbitrary 32 byte data from the VM used to generate values for the strategy. IntStrategy Value tree for signed ints (up to int256).
The strategy combines 3 different strategies, each assigned a specific weight: UintStrategy Value tree for unsigned ints (up to uint256).
The strategy combines 3 different strategies, each assigned a specific weight: clamp Clamps a signed integer to the range [-(max+1), max] to match real signed type ranges.
For example, i128 range is [-2^127, 2^127-1], not [-2^127+1, 2^127-1]. fuzz_calldata Given a function, it returns a strategy which generates valid calldata
for that function’s input types, following declared test fixtures. fuzz_calldata_from_state Given a function and some state, it returns a strategy which generated valid calldata for the
given function’s input types, based on state taken from the EVM. fuzz_contract_with_calldata Given a function, it returns a proptest strategy which generates valid abi-encoded calldata
for that function’s input types. fuzz_param Given a parameter type, returns a strategy for generating values for that type. fuzz_param_from_state Given a parameter type, returns a strategy for generating values for that type, given some EVM
fuzz state. fuzz_param_with_fixtures Given a parameter type and configured fixtures for param name, returns a strategy for generating
values for that type. invariant_strat Creates the invariant strategy. override_call_strat Given a target address, we generate random calldata.