Function can_continue 

pub(crate) fn can_continue(
    invariant_contract: &InvariantContract<'_>,
    invariant_test: &mut InvariantTest,
    invariant_run: &mut InvariantTestRun,
    invariant_config: &InvariantConfig,
    call_result: RawCallResult,
    state_changeset: &StateChangeset,
) -> Result<RichInvariantResults>

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

For optimization mode (int256 return), tracks the max value but never fails on invariant. For check mode, asserts the invariant and fails if broken.