Module result

Structs

• InvariantFuzzTestResult
  The outcome of an invariant fuzz test
• RichInvariantResults 🔒
  Enriched results of an invariant run check.

Functions

• assert_after_invariant 🔒
  Given the executor state, asserts conditions within afterInvariant function. If call fails then the invariant test is considered failed.
• assert_invariants 🔒
  Given the executor state, asserts that no invariant has been broken. Otherwise, it fills the external invariant_failures.failed_invariant map and returns a generic error. Either returns the call result if successful, or nothing if there was an error.
• can_continue 🔒
  Returns if invariant test can continue and last successful call result of the invariant test function (if it can continue).