Module result 

Re-exports

use super::InvariantFailures; 🔒

use super::InvariantFuzzError; 🔒

use super::InvariantMetrics; 🔒

use super::InvariantTest; 🔒

use super::InvariantTestRun; 🔒

use super::call_after_invariant_function; 🔒

use super::call_invariant_function; 🔒

use super::error::InvariantRunCtx; 🔒

use super::error::record_handler_assertion_bug; 🔒

use crate::executors::Executor; 🔒

use crate::executors::RawCallResult; 🔒

use alloy_json_abi::Function; 🔒

use alloy_primitives::Address; 🔒

use alloy_primitives::B256; 🔒

use alloy_primitives::I256; 🔒

use alloy_primitives::Selector; 🔒

use alloy_sol_types::Panic; 🔒

use alloy_sol_types::PanicKind; 🔒

use alloy_sol_types::Revert; 🔒

use alloy_sol_types::SolError; 🔒

use alloy_sol_types::SolInterface; 🔒

use eyre::Result; 🔒

use foundry_config::InvariantConfig; 🔒

use foundry_evm_core::abi::Vm; 🔒

use foundry_evm_core::constants::CHEATCODE_ADDRESS; 🔒

use foundry_evm_core::decode::ASSERTION_FAILED_PREFIX; 🔒

use foundry_evm_core::decode::decode_console_log; 🔒

use foundry_evm_core::evm::FoundryEvmNetwork; 🔒

use foundry_evm_core::utils::StateChangeset; 🔒

use foundry_evm_coverage::HitMaps; 🔒

use foundry_evm_fuzz::BasicTxDetails; 🔒

use foundry_evm_fuzz::invariant::FuzzRunIdentifiedContracts; 🔒

use foundry_evm_fuzz::invariant::InvariantContract; 🔒

use foundry_evm_traces::CallTraceArena; 🔒

use proptest::test_runner::TestError; 🔒

use revm::interpreter::InstructionResult; 🔒

use std::borrow::Cow; 🔒

use std::collections::HashMap; 🔒

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 🔒