Module param 

Re-exports

use super::UintStrategy; 🔒

use super::state::DictionaryRead; 🔒

use crate::invariant::SenderFilters; 🔒

use crate::strategies::mutators::BitMutator; 🔒

use crate::strategies::mutators::GaussianNoiseMutator; 🔒

use crate::strategies::mutators::IncrementDecrementMutator; 🔒

use crate::strategies::mutators::InterestingWordMutator; 🔒

use alloy_dyn_abi::DynSolType; 🔒

use alloy_dyn_abi::DynSolValue; 🔒

use alloy_dyn_abi::Word; 🔒

use alloy_primitives::Address; 🔒

use alloy_primitives::B256; 🔒

use alloy_primitives::I256; 🔒

use alloy_primitives::U256; 🔒

use proptest::strategy::ValueTree; 🔒

use proptest::test_runner::TestRunner; 🔒

use rand::SeedableRng; 🔒

use rand::prelude::IndexedMutRandom; 🔒

use rand::rngs::StdRng; 🔒

use std::mem::replace; 🔒

use proptest::prelude::*; 🔒

Constants

MAX_ARRAY_LEN 🔒

The max length of arrays we fuzz for is 256.

Functions

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_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.