Module error 

Re-exports

use super::InvariantContract; 🔒

use crate::executors::RawCallResult; 🔒

use crate::inspectors::EdgeCovHit; 🔒

use crate::inspectors::EdgeCoverage; 🔒

use alloy_json_abi::Function; 🔒

use alloy_primitives::Address; 🔒

use alloy_primitives::B256; 🔒

use alloy_primitives::Bytes; 🔒

use alloy_primitives::Selector; 🔒

use alloy_primitives::keccak256; 🔒

use foundry_config::InvariantConfig; 🔒

use foundry_evm_core::decode::ASSERTION_FAILED_PREFIX; 🔒

use foundry_evm_core::decode::EMPTY_REVERT_DATA; 🔒

use foundry_evm_core::decode::RevertDecoder; 🔒

use foundry_evm_core::evm::FoundryEvmNetwork; 🔒

use foundry_evm_fuzz::BasicTxDetails; 🔒

use foundry_evm_fuzz::Reason; 🔒

use foundry_evm_fuzz::invariant::FuzzRunIdentifiedContracts; 🔒

use proptest::test_runner::TestError; 🔒

use std::collections::HashMap; 🔒

use std::fmt; 🔒

Structs

FailedInvariantCaseData

HandlerAssertionFailure

A handler-side assertion bug: a require/assert inside a fuzzed handler that the campaign reached. Deduped by (reverter, selector) site (Echidna/Medusa semantics), shortest sequence wins on collision.

InvariantFailures

Stores invariant test failures and revert counts.

InvariantRunCtx

Run-scoped references shared by failure-recording paths in an invariant run.

Enums

FailureKey

Identifies a single entry in the InvariantFailures map. Invariant predicate failures and handler-side assertion bugs share one map keyed by this enum.

InvariantFuzzError

Functions

handler_edge_fingerprint

Edge-coverage fingerprint for a handler-side assertion call. Prefers a pre-merge edges hash; falls back to keccak(target || selector) when edge coverage is disabled.

handler_site_already_minimal

True iff there is already a HandlerAssertionFailure for site no longer than candidate_len. Used to skip inserting a not-strictly-shorter repro.

record_handler_assertion_bug 🔒

Records a handler-side assertion bug (if strictly shorter than the existing repro for this site) and pops the just-asserted reverted input from inputs. Shared by the periodic-check path and the inline check-skipped path.

snapshot_edge_fingerprint

Stable hash of the call’s edge coverage, taken before merge_edge_coverage zeroes the buffer. Returns None when edge coverage is disabled.