Skip to main content Module strategies Copy item path EnumBounds Maps Solidity enum definitions to their variant counts, used to constrain fuzzed enum inputs
to valid values (the ABI encodes enums as uint8 without carrying the variant count). EvmFuzzState Immutable fuzz dictionary seed used by parallel stateless fuzz workers. FuzzState Worker-local fuzz state. IntStrategy Value tree for signed ints (up to int256).
The strategy combines 3 different strategies, each assigned a specific weight: LiteralMaps LiteralsCollector LiteralsDictionary TxGenerator Concrete generator for stateless and invariant transactions. UintStrategy Value tree for unsigned ints (up to uint256).
The strategy combines 3 different strategies, each assigned a specific weight: BoundMutator Mutator that bounds the current value of an uint or int in the given range.
The mutated value is always different from the current value. fuzz_calldata Given a function, it returns a strategy which generates valid calldata
for that function’s input types, following declared test fixtures. fuzz_msg_value Returns a proptest strategy for generating random msg.value for payable functions. fuzz_param Given a parameter type, returns a strategy for generating values for that type. fuzz_param_with_fixtures Given a parameter type and configured fixtures for param name, returns a strategy for generating
values for that type. generate_msg_value Generates a msg.value for payable functions using TestRunner’s RNG (corpus mutation path). override_call_strat Given a target address, we generate random calldata.