Module invariant

Modules

• IInvariantTest
  Module containing a contract’s types and functions.

Structs

• 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.
• InvariantTest
  Contains invariant test data.
• InvariantTestData
  Contains data collected during invariant test runs.
• InvariantTestRun
  Contains data for an invariant test run.

Enums

• InvariantFuzzError

Functions

• check_sequence
  Checks if the given call sequence breaks the invariant.
• replay_error
  Replays the error case, shrinks the failing sequence and collects all necessary 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.