Module runner 

The Forge test runner.

Structs

ContractRunner

A type that executes all tests of a contract

ContractRunnerContext 🔒

FunctionRunner 🔒

Executes a single test function, returning a TestResult.

FuzzBranchFrontierArtifact 🔒

FuzzBranchFrontierOperands 🔒

FuzzBranchFrontierRecord 🔒

FuzzBranchFrontierSite 🔒

ImportedFuzzFrontier 🔒

ImportedSymbolicCorpusSeeds 🔒

InvariantCampaignScope 🔒

InvariantCampaignSelection 🔒

InvariantPersistedFailure 🔒

Holds data about a persisted invariant failure.

ReplayContext 🔒

Borrowed context shared by primary-invariant and handler-side replay helpers.

ReplayedInvariantSequence 🔒

SymbolicHandlerReplayStorage 🔒

SymbolicSequenceFailure 🔒

Enums

SymbolicFuzzSeedReplay 🔒

Constants

FUZZ_BRANCH_FRONTIER_FILE 🔒

FUZZ_BRANCH_FRONTIER_SCHEMA 🔒

Functions

apply_symbolic_storage_assignments 🔒

attach_imported_symbolic_corpus_seeds 🔒

base_counterexample_to_tx 🔒

base_counterexamples_to_txes 🔒

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

count_runnable_invariant_campaign_anchors 🔒

frontier_filter_display 🔒

frontier_selector 🔒

function_matches_network_pass 🔒

fuzzer_with_cases 🔒

inline_config_for 🔒

invariant_contract_name 🔒

Returns the invariant test contract name without the file path prefix.

invariant_failure_dir 🔒

Returns the contract-level invariant failure directory.

invariant_failure_file 🔒

Returns the current invariant failure cache path.

invariant_handler_failure_name 🔒

invariant_suite_configs_match 🔒

invariant_suite_paths 🔒

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

is_symbolic_frontier_opcode 🔒

narrow_generated_corpus_root 🔒

narrow_generated_fuzz_corpus_root 🔒

narrow_generated_invariant_corpus_root 🔒

parse_frontier_selector 🔒

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_with_storage 🔒

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

record_invariant_failure 🔒

Helper function to persist invariant failure.

record_invariant_failure_with_storage 🔒

Helper function to persist invariant failure with symbolic replay storage.

replay_persisted_call_sequence 🔒

Converts a persisted BaseCounterExample sequence into BasicTxDetails (applying ctx.show_solidity in place) and replays it via check_sequence.

replay_persisted_handler_failures 🔒

Replays persisted handler-side assertion bugs. A file is kept only if the anchor still asserts at the same (reverter, selector) site; stale files (anchor no longer asserts, asserts at a different site, or earlier call asserts) are deleted in place.

sanitize_symbolic_artifact_component 🔒

select_invariant_campaigns 🔒

should_symbolically_import_fuzz_corpus 🔒

should_symbolically_seed_fuzz_corpus 🔒

should_symbolically_use_fuzz_frontiers 🔒

symbolic_artifact_file_name 🔒

symbolic_artifact_handler_failure_matches 🔒

symbolic_artifact_predicate_failure_matches 🔒

symbolic_invariant_counterexample_calls 🔒

symbolic_invariant_failure_site 🔒

symbolic_invariant_failure_site_matches 🔒

symbolic_invariant_unsupported_domain_reason 🔒

test_paths 🔒

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

validate_single_call_symbolic_replay 🔒

Type Aliases

HandlerFailureKey 🔒

HandlerFailureMap 🔒

HandlerFailureStorageKey 🔒

SymbolicHandlerStorageMap 🔒