Skip to main content

assert_after_invariant

foundry_evm::executors::invariant::result

Function assert_after_invariant 

Source 
pub(crate) fn assert_after_invariant<FEN: FoundryEvmNetwork>(
    invariant_contract: &InvariantContract<'_>,
    invariant_test: &mut InvariantTest<FEN>,
    invariant_run: &InvariantTestRun<FEN>,
    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.