Skip to main contentModule state
Source use crate::BasicTxDetails; 🔒 use crate::Fuzzer; 🔒 use crate::invariant::FuzzRunIdentifiedContracts; 🔒 use crate::invariant::TargetedContract; 🔒 use crate::invariant::TargetedContractEvent; 🔒 use crate::invariant::TargetedContracts; 🔒 use crate::strategies::literals::LiteralsDictionary; 🔒 use alloy_dyn_abi::DynSolType; 🔒 use alloy_dyn_abi::DynSolValue; 🔒 use alloy_dyn_abi::EventExt; 🔒 use alloy_dyn_abi::FunctionExt; 🔒 use alloy_json_abi::Function; 🔒 use alloy_primitives::Address; 🔒 use alloy_primitives::B256; 🔒 use alloy_primitives::Bytes; 🔒 use alloy_primitives::Log; 🔒 use alloy_primitives::U256; 🔒 use alloy_primitives::map::AddressIndexSet; 🔒 use alloy_primitives::map::AddressMap; 🔒 use alloy_primitives::map::B256IndexSet; 🔒 use alloy_primitives::map::HashMap; 🔒 use alloy_primitives::map::HashSet; 🔒 use alloy_primitives::map::IndexSet; 🔒 use foundry_common::ignore_metadata_hash; 🔒 use foundry_common::mapping_slots::MappingSlots; 🔒 use foundry_common::slot_identifier::SlotIdentifier; 🔒 use foundry_common::slot_identifier::SlotInfo; 🔒 use foundry_config::FuzzDictionaryConfig; 🔒 use foundry_evm_core::bytecode::InstIter; 🔒 use foundry_evm_core::eip2935::is_history_storage_address; 🔒 use foundry_evm_core::utils::StateChangeset; 🔒 use revm::database::CacheDB; 🔒 use revm::database::DatabaseRef; 🔒 use revm::database::DbAccount; 🔒 use revm::state::AccountInfo; 🔒 use std::cell::RefCell; 🔒 use std::fmt; 🔒 use std::rc::Rc; 🔒 use std::sync::Arc; 🔒
- EvmFuzzState
- Immutable fuzz dictionary seed used by parallel stateless fuzz workers.
- FuzzDictionary
- FuzzState
- Worker-local fuzz state.
- FuzzStateInner 🔒
- MAX_PERSISTENT_VALUES 🔒
- Maximum number of persistent values from sancov trace-cmp.
- MAX_SLOT_INFO_CACHE_ENTRIES 🔒
- Maximum cached storage slot layout lookups per fuzz dictionary.
- PUSH_BYTE_ANALYSIS_LIMIT 🔒
- The maximum number of bytes we will look at in bytecodes to find push bytes (24 KiB).
- DictionaryRead 🔒