Module shrink 

Re-exports

use crate::executors::EarlyExit; 🔒

use crate::executors::EvmError; 🔒

use crate::executors::Executor; 🔒

use crate::executors::RawCallResult; 🔒

use crate::executors::campaign::CampaignCallKind; 🔒

use crate::executors::campaign::apply_block_delay; 🔒

use crate::executors::campaign::execute_invariant_replay_tx; 🔒

use crate::executors::invariant::IInvariantTest; 🔒

use crate::executors::invariant::call_after_invariant_function; 🔒

use crate::executors::invariant::call_invariant_function; 🔒

use crate::executors::invariant::error::handler_edge_fingerprint; 🔒

use crate::executors::invariant::error::snapshot_edge_fingerprint; 🔒

use crate::executors::invariant::result::did_fail_on_assert; 🔒

use alloy_json_abi::Function; 🔒

use alloy_primitives::Address; 🔒

use alloy_primitives::B256; 🔒

use alloy_primitives::Bytes; 🔒

use alloy_primitives::I256; 🔒

use alloy_primitives::Selector; 🔒

use alloy_primitives::U256; 🔒

use alloy_primitives::map::HashSet; 🔒

use alloy_sol_types::SolCall; 🔒

use foundry_common::ContractsByAddress; 🔒

use foundry_config::InvariantConfig; 🔒

use foundry_evm_core::constants::MAGIC_ASSUME; 🔒

use foundry_evm_core::decode::RevertDecoder; 🔒

use foundry_evm_core::evm::FoundryEvmNetwork; 🔒

use foundry_evm_fuzz::BaseCounterExample; 🔒

use foundry_evm_fuzz::BasicTxDetails; 🔒

use foundry_evm_fuzz::invariant::InvariantContract; 🔒

use indicatif::ProgressBar; 🔒

use proptest::bits::BitSetLike; 🔒

use proptest::bits::VarBitSet; 🔒

use std::borrow::Cow; 🔒

use std::cell::Cell; 🔒

use std::fmt::Write; 🔒

use std::hash::Hash; 🔒

use std::hash::Hash; 🔒

Structs

CheckSequenceOptions

Options controlling how check_sequence evaluates a candidate call sequence.

CheckSequenceOutcome

Outcome from replaying an invariant call sequence through check_sequence.

HandlerReplayOutcome

Result of a strict handler-bug replay: anchor asserts, no earlier call asserts, and the recomputed edge fingerprint identifies which path the assertion took.

SequenceShrink

Shrinker for a call sequence failure. Iterates sequence call sequence top down and removes calls one by one. If the failure is still reproducible with removed call then moves to the next one. If the failure is not reproducible then restore removed call and moves to next one.

ShrinkCandidateKeys

Shared key set for shrinkers that need to skip duplicate concrete replays.

ShrinkProgress 🔒

Live shrink progress display. The progress bar itself is owned by forge’s test runner; this type only formats the transient message shown while invariant shrinking is active.

ShrinkRun

Shared shrink attempt driver.

ShrinkRunStats

Attempt counters collected while trying shrink candidates.

ShrunkSequence

Enums

CheckSequenceFailureSite

Concrete failure site observed while replaying a sequence through check_sequence.

ReplayDecision 🔒

Per-call decision returned by callbacks driving replay_sequence.

ShrinkErrorPolicy 🔒

How run_shrink_loop handles a predicate error.

TerminalFailureSite 🔒

Constants

LIVE_SHRINK_SEQUENCE_EDGE_CALLS 🔒

Functions

apply_warp_roll 🔒

Applies accumulated warp/roll to a call, returning a modified copy.

assertion_failure_reason 🔒

build_shrunk_sequence 🔒

Builds the final shrunk sequence from the shrinker state.

call_failure_reason 🔒

check_sequence

Checks if the given call sequence breaks the invariant.

check_sequence_value

Executes a call sequence and returns the optimization value (int256) from the invariant function. Used during shrinking for optimization mode.

finish_sequence_check 🔒

format_shrink_progress_message 🔒

handler_sequence_still_triggers_bug 🔒

Shrink predicate: anchor asserts on the same path as the originally recorded bug.

handlers_succeeded 🔒

Mirrors the campaign’s handler gate, which checks failed() on every target, and not the test contract, under legacy assertions.

push_shrink_progress_call 🔒

replay_handler_failure_sequence

Replays a handler-bug sequence and returns whether the anchor still asserts on the same path. Rejects sequences with a pre-anchor assertion (would be a different bug).

replay_sequence 🔒

Replays sequence (indices into calls) against executor. When accumulate_warp_roll is set, warp/roll from skipped calls is folded into the next included call. on_call may stop after each campaign-faithful replay transition.

reset_shrink_progress 🔒

Resets the progress bar before each shrink. position = Some((i, N)) renders [i/N] Shrink: <label> for multi-invariant campaigns.

run_shrink_loop 🔒

Shared shrink loop driver. Tries to drop each call; predicate returns whether the candidate still triggers the bug.

selector_from_calldata 🔒

sequence_call_failure_site 🔒

shrink_handler_sequence 🔒

Shrinks a handler-bug sequence to the shortest prefix that still asserts on the anchor AND keeps the same edge fingerprint (so we don’t change bug identity).

shrink_sequence 🔒

shrink_sequence_by_removing

Shared sequence shrinker. Tries to drop each call; predicate decides whether the candidate should be accepted, rejected, or skipped without spending a replay attempt.

shrink_sequence_value 🔒

Shrinks an optimization witness while preserving the best value seen during replay. Warp and roll of removed calls move to the next kept call. Returns the shrunk sequence and its value, which can exceed target_value.

terminal_failure_site 🔒