Module param

Constants§

MAX_ARRAY_LEN 🔒: The max length of arrays we fuzz for is 256.
PAYABLE_VALUE_PROB 🔒: Probability (out of 100) that a payable call carries a non-zero msg.value.

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_from_state: Given a parameter type, returns a strategy for generating values for that type, given some EVM fuzz state.
fuzz_param_inner 🔒
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).
mutate_param_value: Mutates the current value of the given parameter type and value.
mutate_param_value_inner 🔒
mutate_param_value_with_senders: Mutates the current value of the given parameter type and value, with optional sender filters.
mutate_random_array_value 🔒: Mutates random value from given array.
mutate_random_tuple_value 🔒: Mutates random value from given tuples.
select_random_address 🔒: Selects a random address for mutation, respecting sender filters if provided.