Module symbolic_minimizer 

Re-exports

use crate::result::SymbolicCounterexampleCall; 🔒

use alloy_dyn_abi::DynSolValue; 🔒

use alloy_dyn_abi::JsonAbiExt; 🔒

use alloy_json_abi::Function; 🔒

use alloy_primitives::Address; 🔒

use alloy_primitives::B256; 🔒

use alloy_primitives::Bytes; 🔒

use alloy_primitives::Function as SolFunction; 🔒

use alloy_primitives::I256; 🔒

use alloy_primitives::U256; 🔒

use foundry_evm::executors::invariant::SequenceShrink; 🔒

use foundry_evm::executors::invariant::ShrinkCandidateKeys; 🔒

use foundry_evm::executors::invariant::ShrinkRun; 🔒

use foundry_evm::executors::invariant::shrink_sequence_by_removing; 🔒

use itertools::Itertools; 🔒

Structs

ElementSubsetSearch 🔒

MinimizedSequence 🔒

Result of deterministic stateful sequence counterexample minimization.

MinimizedSingleCall 🔒

Result of deterministic single-call counterexample minimization.

ReplayCallKey 🔒

SequenceMinimizer 🔒

Constants

MAX_SUBSET_CANDIDATES_PER_PASS 🔒

Functions

accept_candidate 🔒

address_candidates 🔒

bounded_combination_count 🔒

call_with_args 🔒

deletion_lengths 🔒

minimally_simple_value 🔒

minimize_address 🔒

minimize_array_len 🔒

minimize_bytes 🔒

minimize_compound_value 🔒

minimize_element_pairs 🔒

minimize_element_subsets 🔒

minimize_elements 🔒

minimize_elements_batch 🔒

minimize_fixed_bytes 🔒

minimize_i256_pair_candidates 🔒

minimize_int 🔒

minimize_int_by_search 🔒

minimize_numeric_value_pair 🔒

minimize_scalar_value 🔒

minimize_sequence_counterexample 🔒

Minimizes a replay-confirmed stateful sequence while preserving the concrete failure.

minimize_single_call_counterexample 🔒

Minimizes a stateless symbolic counterexample with ABI-valid candidates only.

minimize_string 🔒

minimize_u256_pair_candidates 🔒

minimize_u256_pair_delta_candidates 🔒

minimize_uint 🔒

minimize_uint_by_search 🔒

minimize_value 🔒

minimize_value_pairs 🔒

minimize_value_subsets 🔒

minimize_values 🔒

minimize_values_batch 🔒

replay_call_key 🔒

replay_sequence_key 🔒

sequence_calldata_bytes 🔒

sequence_from_shrink 🔒

signed_candidate_with_abs 🔒

subset_sizes 🔒

try_delete_string_range 🔒

try_delete_vec_range 🔒

try_element_subset 🔒

try_slice_string_range 🔒

try_slice_vec_range 🔒

try_value_subset 🔒

with_formatted_args 🔒