Module result 

Test outcomes.

Re-exports

use crate::fuzz::BaseCounterExample; 🔒

use crate::fuzz::BasicTxDetails; 🔒

use crate::gas_report::GasReport; 🔒

use alloy_primitives::Address; 🔒

use alloy_primitives::B256; 🔒

use alloy_primitives::Bytes; 🔒

use alloy_primitives::I256; 🔒

use alloy_primitives::Log; 🔒

use alloy_primitives::Selector; 🔒

use alloy_primitives::U256; 🔒

use alloy_primitives::map::HashMap; 🔒

use eyre::Report; 🔒

use foundry_common::ContractsByArtifact; 🔒

use foundry_common::get_contract_name; 🔒

use foundry_common::shell; 🔒

use foundry_config::SymbolicConfig; 🔒

use foundry_config::SymbolicExplorationOrder; 🔒

use foundry_config::SymbolicStorageLayout; 🔒

use foundry_evm::core::Breakpoints; 🔒

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

use foundry_evm::coverage::HitMaps; 🔒

use foundry_evm::decode::SkipReason; 🔒

use foundry_evm::executors::RawCallResult; 🔒

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

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

use foundry_evm::executors::invariant::InvariantMetrics; 🔒

use foundry_evm::fuzz::CallDetails; 🔒

use foundry_evm::fuzz::CounterExample; 🔒

use foundry_evm::fuzz::FuzzCase; 🔒

use foundry_evm::fuzz::FuzzFixtures; 🔒

use foundry_evm::fuzz::FuzzTestResult; 🔒

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

use foundry_evm::traces::CallTraceArena; 🔒

use foundry_evm::traces::CallTraceDecoder; 🔒

use foundry_evm::traces::TraceKind; 🔒

use foundry_evm::traces::Traces; 🔒

use foundry_evm_symbolic::SymbolicStats; 🔒

use foundry_evm_symbolic::SymbolicStopReason; 🔒

use foundry_evm_symbolic::SymbolicStorageAssignment; 🔒

use serde::Deserialize; 🔒

use serde::Deserialize; 🔒

use serde::Serialize; 🔒

use serde::Serialize; 🔒

use std::collections::BTreeMap; 🔒

use std::collections::HashMap as Map; 🔒

use std::fmt; 🔒

use std::fmt::Write; 🔒

use std::path::PathBuf; 🔒

use std::sync::OnceLock; 🔒

use std::time::Duration; 🔒

use yansi::Paint; 🔒

Macros

extend 🔒

Structs

InvariantOutcome

Forge-side outcome of an invariant campaign, recorded into a TestResult.

InvariantPredicateResult

Pass/fail status for an invariant predicate evaluated inside a contract-level campaign.

SuiteResult

A set of test results for a single test suite, which is all the tests in a single contract.

SuiteTestResult

The result of a single test in a test suite.

SymbolicArtifactRef

Reference to a durable symbolic counterexample artifact.

SymbolicAssumption

Explicit symbolic assumption attached to a result.

SymbolicBounds

Effective symbolic exploration bounds used by the run.

SymbolicCallTrace

Concrete replay trace locator.

SymbolicCorpusSeedMetadata

Fuzz corpus import metadata for a symbolic run.

SymbolicCorpusSeedRef

One fuzz corpus seed modeled by symbolic execution.

SymbolicCounterexample

Stable symbolic counterexample payload.

SymbolicCounterexampleArtifact

Durable symbolic counterexample artifact.

SymbolicCounterexampleCall

One concrete call in a symbolic counterexample artifact.

SymbolicCounterexampleMinimization

Before/after artifact references and counters for concrete symbolic counterexample minimization.

SymbolicCounterexampleReplaySemantics

Concrete replay semantics captured when a symbolic artifact is confirmed.

SymbolicCounterexampleTestIdentity

Test identity for a symbolic counterexample artifact.

SymbolicIncomplete

Incomplete symbolic run reason.

SymbolicRegressionRef

Reference to a generated Solidity regression test for a symbolic counterexample.

SymbolicReplayMetadata

Replay metadata for symbolic counterexample candidates.

SymbolicResult

Stable machine-readable outcome for forge test --symbolic JSON output.

SymbolicSolverMetadata

Solver identity and counters.

TestOutcome

The aggregated result of a test run.

TestResult

The result of an executed test.

TestSetup

The result of a test setup.

Enums

InvariantFailure

A failure surfaced by an invariant test campaign — either a broken invariant_* predicate (Self::Predicate) or a handler-side assertion bug (Self::Handler).

SymbolicCounterexampleArtifactKind

Symbolic counterexample artifact shape.

SymbolicInvariantArtifactFailure

Stateful invariant failure origin for a persisted symbolic sequence artifact.

SymbolicInvariantFailureSite

Concrete invariant failure site stored in symbolic replay artifacts.

SymbolicReplayStatus

Counterexample replay status.

SymbolicResultStatus

Normalized symbolic outcome names for agents and other JSON consumers.

TestKind

Various types of tests

TestKindReport

Data report by a test.

TestStatus

The status of a test.

Constants

INVARIANT_CAMPAIGN_FALLBACK_NAME 🔒

SYMBOLIC_COUNTEREXAMPLE_ARTIFACT_SCHEMA

SYMBOLIC_COUNTEREXAMPLE_ARTIFACT_SCHEMA_VERSION

SYMBOLIC_RESULT_SCHEMA_VERSION 🔒

Functions

default_invariant_workers 🔒

invariant_campaign_display_name 🔒

invariant_kind 🔒

Invariant kind for results that did not run a real campaign (setup failures, replays, skips).

replay_artifacts 🔒

All durable replay artifacts referenced by a counterexample: its own artifact plus the before/after artifacts of its minimization, if any.

symbolic_result_schema_version 🔒

write_failure 🔒

Appends [FAIL: reason]{name_suffix} plus the counterexample sequence, if any.

write_sequence 🔒

Appends a [label] (original: N, shrunk: M) header followed by one line per call.