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.

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).

TestKind

Various types of tests

TestKindReport

Data report by a test.

TestStatus

The status of a test.

Constants

INVARIANT_CAMPAIGN_FALLBACK_NAME 🔒

Functions

default_invariant_workers 🔒

invariant_campaign_display_name 🔒

test_failure_exit_code 🔒

Process exit code emitted when at least one test failed.