Module invariant 

Modules

IInvariantTest

Module containing a contract’s types and functions.

Structs

CheckSequenceOptions

InvariantExecutor

Wrapper around any Executor implementer which provides fuzzing support using [proptest].

InvariantFailures

Stores information about failures and reverts of the invariant tests.

InvariantFuzzTestResult

The outcome of an invariant fuzz test

InvariantMetrics

Contains invariant metrics for a single fuzzed selector.

Enums

InvariantFuzzError

Functions

check_sequence

Checks if the given call sequence breaks the invariant.

check_sequence_value

Executes a call sequence and returns the optimization value (int256) from the invariant function. Used during shrinking for optimization mode.

replay_error

Replays and shrinks a call sequence, collecting logs and traces.

replay_run

Replays a call sequence for collecting logs and traces. Returns counterexample to be used when the call sequence is a failed scenario.