Module result 

Test outcomes.

Macros

extend 🔒

Structs

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.

SymbolicSolverStats

Symbolic engine and solver 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 🔒

symbolic_result_schema_version 🔒

symbolic_stop_reason_kind 🔒