Structs§
- Element
Subset 🔒Search - Minimized
Sequence 🔒 - Result of deterministic stateful sequence counterexample minimization.
- Minimized
Single 🔒Call - Result of deterministic single-call counterexample minimization.
- Replay
Call 🔒Key - Sequence
Minimizer 🔒
Constants§
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