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 🔒

LIBRARY_DEPLOYER

When running tests, we deploy all external libraries present in the project. To avoid additional libraries affecting nonces of senders used in tests, we are using separate address to predeploy libraries.

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 🔒

legacy_invariant_failure_file 🔒

Returns the legacy invariant failure cache path.

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

CheckSequenceResult 🔒

HandlerFailureKey 🔒

HandlerFailureMap 🔒

HandlerFailureStorageKey 🔒

SymbolicHandlerStorageMap 🔒