foundry_evm::executors::invariant::result

Function assert_after_invariant

Source 
pub(crate) fn assert_after_invariant(
    invariant_contract: &InvariantContract<'_>,
    invariant_test: &InvariantTest,
    invariant_run: &InvariantTestRun,
    invariant_config: &InvariantConfig,
) -> Result<bool>
Expand description

Given the executor state, asserts conditions within afterInvariant function. If call fails then the invariant test is considered failed.