Module runner 

The Forge test runner.

Re-exports

use crate::MultiContractRunner; 🔒

use crate::TestFilter; 🔒

use crate::coverage::HitMaps; 🔒

use crate::fuzz::BaseCounterExample; 🔒

use crate::fuzz::FuzzTestResult; 🔒

use crate::multi_runner::FuzzMinimizeConfig; 🔒

use crate::multi_runner::FuzzMinimizeMode; 🔒

use crate::multi_runner::FuzzMinimizeObservation; 🔒

use crate::multi_runner::LibraryDeployment; 🔒

use crate::multi_runner::TestContract; 🔒

use crate::multi_runner::TestFunctionMatcher; 🔒

use crate::multi_runner::TestRunnerConfig; 🔒

use crate::multi_runner::is_generated_symbolic_regression_contract; 🔒

use crate::progress::TestsProgress; 🔒

use crate::result::InvariantFailure; 🔒

use crate::result::InvariantOutcome; 🔒

use crate::result::InvariantPredicateResult; 🔒

use crate::result::SuiteResult; 🔒

use crate::result::SymbolicArtifactRef; 🔒

use crate::result::SymbolicCallTrace; 🔒

use crate::result::SymbolicCorpusSeedMetadata; 🔒

use crate::result::SymbolicCorpusSeedRef; 🔒

use crate::result::SymbolicCounterexample; 🔒

use crate::result::SymbolicCounterexampleArtifact; 🔒

use crate::result::SymbolicCounterexampleArtifactKind; 🔒

use crate::result::SymbolicCounterexampleCall; 🔒

use crate::result::SymbolicCounterexampleMinimization; 🔒

use crate::result::SymbolicCounterexampleReplaySemantics; 🔒

use crate::result::SymbolicCounterexampleTestIdentity; 🔒

use crate::result::SymbolicInvariantArtifactFailure; 🔒

use crate::result::SymbolicInvariantFailureSite; 🔒

use crate::result::SymbolicReplayMetadata; 🔒

use crate::result::SymbolicReplayStatus; 🔒

use crate::result::SymbolicResult; 🔒

use crate::result::TestKind; 🔒

use crate::result::TestResult; 🔒

use crate::result::TestSetup; 🔒

use crate::result::TestStatus; 🔒

use crate::result::invariant_campaign_display_name; 🔒

use crate::result::invariant_kind; 🔒

use crate::symbolic_minimizer::MinimizedSequence; 🔒

use crate::symbolic_minimizer::minimize_sequence_counterexample; 🔒

use crate::symbolic_minimizer::minimize_single_call_counterexample; 🔒

use alloy_dyn_abi::DynSolValue; 🔒

use alloy_dyn_abi::JsonAbiExt; 🔒

use alloy_json_abi::Function; 🔒

use alloy_json_abi::JsonAbi; 🔒

use alloy_json_abi::StateMutability; 🔒

use alloy_primitives::Address; 🔒

use alloy_primitives::B256; 🔒

use alloy_primitives::Bytes; 🔒

use alloy_primitives::I256; 🔒

use alloy_primitives::Selector; 🔒

use alloy_primitives::U256; 🔒

use alloy_primitives::address; 🔒

use alloy_primitives::hex; 🔒

use alloy_primitives::hex; 🔒

use alloy_primitives::keccak256; 🔒

use alloy_primitives::map::Entry; 🔒

use alloy_primitives::map::HashMap; 🔒

use alloy_primitives::map::HashSet; 🔒

use eyre::Result; 🔒

use foundry_common::LIBRARY_DEPLOYER; 🔒

use foundry_common::TestFunctionExt; 🔒

use foundry_common::TestFunctionKind; 🔒

use foundry_common::contracts::ContractsByAddress; 🔒

use foundry_compilers::utils::canonicalized; 🔒

use foundry_config::Config; 🔒

use foundry_config::FuzzConfig; 🔒

use foundry_config::FuzzCorpusConfig; 🔒

use foundry_config::FuzzDictionaryConfig; 🔒

use foundry_config::InlineConfig; 🔒

use foundry_config::InvariantConfig; 🔒

use foundry_config::InvariantDepthMode; 🔒

use foundry_config::SymbolicConfig; 🔒

use foundry_evm::constants::CALLER; 🔒

use foundry_evm::constants::MAGIC_ASSUME; 🔒

use foundry_evm::core::backend::DatabaseExt; 🔒

use foundry_evm::core::evm::FoundryEvmNetwork; 🔒

use foundry_evm::decode::RevertDecoder; 🔒

use foundry_evm::decode::SkipReason; 🔒

use foundry_evm::executors::CallResult; 🔒

use foundry_evm::executors::DynamicTargetCtx; 🔒

use foundry_evm::executors::EvmError; 🔒

use foundry_evm::executors::Executor; 🔒

use foundry_evm::executors::ITest; 🔒

use foundry_evm::executors::InvariantReplayOptions; 🔒

use foundry_evm::executors::MinimizationReplayInput; 🔒

use foundry_evm::executors::RawCallResult; 🔒

use foundry_evm::executors::ShowmapOpts; 🔒

use foundry_evm::executors::ShowmapReplayTarget; 🔒

use foundry_evm::executors::StatelessReplayTarget; 🔒

use foundry_evm::executors::canonical_replay_dirs; 🔒

use foundry_evm::executors::fuzz::FuzzedExecutor; 🔒

use foundry_evm::executors::invariant::CheckSequenceFailureSite; 🔒

use foundry_evm::executors::invariant::CheckSequenceOptions; 🔒

use foundry_evm::executors::invariant::CheckSequenceOutcome; 🔒

use foundry_evm::executors::invariant::HandlerAssertionFailure; 🔒

use foundry_evm::executors::invariant::InvariantExecutor; 🔒

use foundry_evm::executors::invariant::InvariantFuzzError; 🔒

use foundry_evm::executors::invariant::ReplayErrorResult; 🔒

use foundry_evm::executors::invariant::check_sequence; 🔒

use foundry_evm::executors::invariant::did_fail_on_assert; 🔒

use foundry_evm::executors::invariant::execute_tx; 🔒

use foundry_evm::executors::invariant::execute_tx_and_register_created; 🔒

use foundry_evm::executors::invariant::handler_edge_fingerprint; 🔒

use foundry_evm::executors::invariant::replay_error; 🔒

use foundry_evm::executors::invariant::replay_handler_failure_sequence; 🔒

use foundry_evm::executors::invariant::replay_run; 🔒

use foundry_evm::executors::persist_corpus_seed; 🔒

use foundry_evm::executors::read_corpus_dir; 🔒

use foundry_evm::executors::replay_corpus_to_showmap; 🔒

use foundry_evm::executors::replay_sequence_for_minimization; 🔒

use foundry_evm::executors::should_ignore_revert; 🔒

use foundry_evm::fuzz::BasicTxDetails; 🔒

use foundry_evm::fuzz::CallDetails; 🔒

use foundry_evm::fuzz::CounterExample; 🔒

use foundry_evm::fuzz::FuzzFixtures; 🔒

use foundry_evm::fuzz::fixture_name; 🔒

use foundry_evm::fuzz::invariant::FuzzRunIdentifiedContracts; 🔒

use foundry_evm::fuzz::invariant::InvariantContract; 🔒

use foundry_evm::fuzz::invariant::InvariantSettings; 🔒

use foundry_evm::fuzz::invariant::SenderFilters; 🔒

use foundry_evm::fuzz::invariant::is_optimization_invariant; 🔒

use foundry_evm::fuzz::strategies::EvmFuzzState; 🔒

use foundry_evm::inspectors::CmpOperands; 🔒

use foundry_evm::inspectors::EdgeCovConfig; 🔒

use foundry_evm::inspectors::EdgeCovKind; 🔒

use foundry_evm::inspectors::cheatcodes::Vm::AccountAccess; 🔒

use foundry_evm::revm::bytecode::opcode; 🔒

use foundry_evm::revm::primitives::hardfork::SpecId; 🔒

use foundry_evm::traces::TraceKind; 🔒

use foundry_evm::traces::TraceRequirements; 🔒

use foundry_evm::traces::load_contracts; 🔒

use foundry_evm_networks::NetworkVariant; 🔒

use foundry_evm_symbolic::ExecutorView; 🔒

use foundry_evm_symbolic::SymbolicBranchTarget; 🔒

use foundry_evm_symbolic::SymbolicConcreteInput; 🔒

use foundry_evm_symbolic::SymbolicExecutor; 🔒

use foundry_evm_symbolic::SymbolicInvariantCandidateInput; 🔒

use foundry_evm_symbolic::SymbolicInvariantCounterexampleKind; 🔒

use foundry_evm_symbolic::SymbolicInvariantRunInput; 🔒

use foundry_evm_symbolic::SymbolicInvariantRunResult; 🔒

use foundry_evm_symbolic::SymbolicInvariantStep; 🔒

use foundry_evm_symbolic::SymbolicInvariantTarget; 🔒

use foundry_evm_symbolic::SymbolicRunInput; 🔒

use foundry_evm_symbolic::SymbolicRunResult; 🔒

use foundry_evm_symbolic::SymbolicStats; 🔒

use foundry_evm_symbolic::SymbolicStopReason; 🔒

use foundry_evm_symbolic::SymbolicStorageAssignment; 🔒

use itertools::Itertools; 🔒

use proptest::test_runner::RngAlgorithm; 🔒

use proptest::test_runner::TestError; 🔒

use proptest::test_runner::TestRng; 🔒

use proptest::test_runner::TestRunner; 🔒

use serde::Deserialize; 🔒

use serde::Deserialize; 🔒

use serde::Serialize; 🔒

use serde::Serialize; 🔒

use std::borrow::Cow; 🔒

use std::collections::BTreeMap; 🔒

use std::ops::Deref; 🔒

use std::path::Path; 🔒

use std::path::PathBuf; 🔒

use std::sync::Arc; 🔒

use std::sync::Mutex; 🔒

use std::time::Instant; 🔒

use tokio::signal; 🔒

use tracing::Span; 🔒

use rayon::prelude::*; 🔒

Structs

ConfirmedFrontierInvariantFailure 🔒

An invariant failure confirmed while solving a captured fuzz frontier.

ContractRunner

A type that executes all tests of a contract

ContractRunnerContext 🔒

FunctionRunner 🔒

Executes a single test function, returning a TestResult.

FuzzBranchFrontierArtifact 🔒

FuzzBranchFrontierOperands 🔒

FuzzBranchFrontierRecord 🔒

FuzzBranchFrontierSite 🔒

InvariantCampaignScope 🔒

InvariantCampaignSelection 🔒

InvariantPersistedFailure 🔒

Holds data about a persisted invariant failure.

ReplayedInvariantSequence 🔒

A replayed and shrunk invariant counterexample.

SequenceArtifactSpec 🔒

Metadata for the symbolic artifact persisted with a replayed invariant sequence.

SequenceReplay 🔒

A stateful call sequence replay target shared by symbolic minimization and failure checks.

SymbolicHandlerReplayStorage 🔒

Symbolic storage assignments that only apply when replaying the exact recorded sequence.

Enums

PersistedFingerprintProvenance 🔒

Reproducible edge-fingerprint algorithms and their capture configuration.

Constants

FUZZ_BRANCH_FRONTIER_FILE 🔒

FUZZ_BRANCH_FRONTIER_SCHEMA 🔒

STATEFUL_FUZZ_BRANCH_FRONTIER_SCHEMA 🔒

Functions

base_counterexample_to_tx 🔒

base_counterexamples 🔒

Converts campaign transactions into displayable counterexample calls.

base_counterexamples_to_txes 🔒

Converts a persisted counterexample to BasicTxDetails, setting show_solidity in place.

comparison_result 🔒

contract_short_name 🔒

Returns the contract name without the file path prefix.

corpus_has_entries 🔒

Returns whether any canonical replay directory under dir holds a corpus entry.

count_runnable_invariant_campaign_anchors 🔒

effective_test_function_kind 🔒

failed_invariant_calls 🔒

Returns the failing call sequence of a replayable invariant error.

frontier_comparison_flipped 🔒

frontier_filter_display 🔒

frontier_selector 🔒

function_matches_network_pass 🔒

fuzz_test_path_name 🔒

Returns a stable path component that distinguishes overloaded fuzz tests.

fuzzer_with_cases 🔒

handler_failure_file 🔒

inline_config_for 🔒

invariant_corpus_dir 🔒

Returns the corpus directory of a shared contract campaign or an isolated campaign.

invariant_failure_file 🔒

Returns the current invariant failure cache path.

invariant_frontier_dir 🔒

Returns the collision-free directory for one stateful frontier campaign.

invariant_handler_failure_name 🔒

invariant_suite_configs_match 🔒

invariant_suite_paths 🔒

Sets the invariant corpus directory and returns the contract-level failure directory.

legacy_fuzz_corpus_dir 🔒

Returns the legacy unqualified corpus when the qualified corpus has no entries.

narrow_generated_corpus_root 🔒

Narrows a generated corpus root to the per-test directory when it exists.

parse_frontier_selectors 🔒

persisted_call_sequence 🔒

Helper function to load failed call sequence from file. Ignores failure if generated with different invariant settings than the current ones.

persisted_invariant_failure 🔒

Loads a persisted invariant failure from the new cache path, falling back to the legacy path.

record_handler_failure 🔒

Persists a handler-side assertion bug with symbolic replay storage.

record_invariant_failure 🔒

Persists an invariant failure, with any symbolic replay storage and confirmed failure site.

replay_fuzz_minimize 🔒

Replays one corpus-minimization candidate and records its coverage observation.

same_sequence_failure 🔒

Returns true if two sequence replays failed in the same way at the same site.

sample_stateful_frontiers 🔒

sanitize_symbolic_artifact_component 🔒

select_context_diverse_frontiers 🔒

select_invariant_campaigns 🔒

select_stateful_frontiers 🔒

should_symbolically_import_fuzz_corpus 🔒

stable_hashed_component 🔒

symbolic_artifact_file_name 🔒

symbolic_invariant_counterexample_calls 🔒

symbolic_invariant_unsupported_domain_reason 🔒

test_paths 🔒

Helper function to set test corpus dir and to compose persisted failure paths.

warn_fork_block_mismatch 🔒

Warns when a persisted failure is replayed on a different fork block than it was recorded on. Returns whether the blocks differ.

warn_unimported_frontiers 🔒

Warns about requested frontier labels that the frontier file at path did not provide.

Type Aliases

HandlerFailureMap 🔒

Persisted handler-side assertion bugs keyed by (reverter, selector).

SymbolicHandlerStorageMap 🔒

Symbolic replay storage for handler bugs keyed by (reverter, selector, fingerprint).