Module sequence 

Pure transaction-sequence generation and mutation primitives.

Re-exports

use crate::BasicTxDetails; 🔒

use crate::FuzzFixtures; 🔒

use crate::invariant::FuzzRunIdentifiedContracts; 🔒

use crate::strategies::FuzzState; 🔒

use crate::strategies::TxGenerator; 🔒

use crate::strategies::constrain_enum_value; 🔒

use crate::strategies::generate_msg_value; 🔒

use crate::strategies::mutate_param_value; 🔒

use alloy_dyn_abi::JsonAbiExt; 🔒

use alloy_dyn_abi::abi::AbiDecoderConfig; 🔒

use alloy_json_abi::Function; 🔒

use alloy_primitives::U256; 🔒

use alloy_primitives::map::HashSet; 🔒

use eyre::Result; 🔒

use eyre::eyre; 🔒

use foundry_config::FuzzCorpusConfig; 🔒

use foundry_config::FuzzCorpusMutationWeights; 🔒

use proptest::test_runner::TestRunner; 🔒

use rand::Rng; 🔒

use rand::distr::Distribution; 🔒

use rand::distr::weighted::WeightedIndex; 🔒

Structs

ComparisonHint

An EVM comparison observed while executing an input.

CorpusEntryView

A neutral borrowed view of one corpus entry.

SequenceGenerator

Generates initial sequences and their lazy continuations.

SequenceMutator 🔒

Pure mutations shared by stateless and invariant sequence producers.

SequencePlan

An initial sequence and the generator used to lazily continue it.

Enums

InitialSequence 🔒

MutationType 🔒

SequenceMode 🔒

Constants

CMP_WIDTHS 🔒

Operand widths, in bytes, that cmp mutations try to replace.

SELECTOR_LEN 🔒

Length of the function selector that cmp mutations never rewrite.

Functions

cmp_mutated_calldata 🔒

contains_operand 🔒

Returns whether pattern occurs in calldata arguments.

find_operands 🔒

Returns the patterns that contains_operand finds in calldata.

is_replaceable_operand 🔒

Returns whether pattern can be searched for in calldata arguments.

replace_operand 🔒