Module error

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.

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

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.