Module replay 

Re-exports

use super::call_after_invariant_function; 🔒

use super::call_invariant_function; 🔒

use super::execute_tx; 🔒

use crate::executors::EarlyExit; 🔒

use crate::executors::Executor; 🔒

use crate::executors::corpus::persist_campaign_optimization; 🔒

use crate::executors::invariant::shrink::CheckSequenceOutcome; 🔒

use crate::executors::invariant::shrink::ShrinkProgress; 🔒

use crate::executors::invariant::shrink::shrink_sequence; 🔒

use crate::executors::invariant::shrink::shrink_sequence_value; 🔒

use alloy_dyn_abi::JsonAbiExt; 🔒

use alloy_json_abi::Function; 🔒

use alloy_primitives::Address; 🔒

use alloy_primitives::Bytes; 🔒

use alloy_primitives::I256; 🔒

use alloy_primitives::Log; 🔒

use alloy_primitives::map::HashMap; 🔒

use eyre::Result; 🔒

use foundry_common::ContractsByAddress; 🔒

use foundry_common::ContractsByArtifact; 🔒

use foundry_config::InvariantConfig; 🔒

use foundry_evm_core::decode::RevertDecoder; 🔒

use foundry_evm_core::evm::FoundryEvmNetwork; 🔒

use foundry_evm_coverage::HitMaps; 🔒

use foundry_evm_fuzz::BaseCounterExample; 🔒

use foundry_evm_fuzz::BasicTxDetails; 🔒

use foundry_evm_fuzz::invariant::InvariantContract; 🔒

use foundry_evm_traces::TraceKind; 🔒

use foundry_evm_traces::TraceRequirements; 🔒

use foundry_evm_traces::Traces; 🔒

use foundry_evm_traces::load_contracts; 🔒

use indicatif::ProgressBar; 🔒

use parking_lot::RwLock; 🔒

use std::sync::Arc; 🔒

Structs

ReplayErrorResult

Functions

replay_error

Replays and shrinks a call sequence, collecting logs and traces.

replay_run

Replays a call sequence for collecting logs and traces. Returns counterexample to be used when the call sequence is a failed scenario.

set_up_inner_replay 🔒

Sets up the calls generated by the internal fuzzer, if they exist.