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.

InvariantCampaignScope 🔒

InvariantCampaignSelection 🔒

InvariantPersistedFailure 🔒

Holds data about a persisted invariant failure.

ReplayContext 🔒

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

Constants

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

base_counterexamples_to_txes 🔒

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

count_runnable_invariant_campaign_anchors 🔒

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

invariant_suite_paths 🔒

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

is_symbolic_entrypoint 🔒

legacy_invariant_failure_file 🔒

Returns the legacy invariant failure cache path.

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 under <failure_dir>/handlers/<site>.json, where <site> is keccak256(reverter || selector).

record_invariant_failure 🔒

Helper function to persist invariant failure.

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.

select_invariant_campaigns 🔒

test_paths 🔒

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

Type Aliases

CheckSequenceResult 🔒

Mirrors check_sequence’s return: (success, replayed_entirely, optional_reason).