Get desktop application:
View/edit binary Protocol Buffers messages
Configuration tuning parameters for minimization passes.
Caps the number of successful mutations per pass instance (e.g., 1 for *_ONE). If unset or negative, the budget is unconstrained (infinite).
Aborts early after N consecutive try_modify failures (legacy THRESHOLD cutoff). If unset or negative, the budget is unconstrained (infinite).
Caps the number of outer convergence rounds per pass instance. If unset or negative, the budget is unconstrained (infinite).
Explicit candidate execution ordering.
Optional seed for RANDOM_ORDER. If unset, defaults to snapshot ID hash.
Used in:
Pass-specific optimal default (e.g., RANDOM_ORDER for
NOP, FORWARD_ORDER for OMIT)
Explicit top-to-bottom execution order
Explicit bottom-to-top execution order
Random candidate selection (based on seed)