Module result 

Structs

ContinueOutcome 🔒

Outcome of a per-call invariant check.

InvariantFuzzTestResult

The outcome of an invariant fuzz test

Functions

assert_after_invariant 🔒

Given the executor state, asserts conditions within afterInvariant function.

assert_invariants 🔒

Given the executor state, asserts that no invariant has been broken. Otherwise, it fills the external invariant_failures.failed_invariant map.

can_continue 🔒

Returns if invariant test can continue and last successful call result of the invariant test function (if it can continue).

did_fail_on_assert 🔒

Returns whether the current fuzz call should be treated as an assertion failure.

invariant_inner_sequence 🔒

Helper function to initialize invariant inner sequence.

invariant_preflight_check 🔒

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.

is_assert_panic 🔒

is_assertion_failure 🔒

Returns true if this call failed due to a Solidity assertion:

is_cheatcode_assert_revert 🔒

is_revert_assertion_failure 🔒

logged_assertion_failure 🔒