Module runner 

The Forge test runner.

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