tiny.reducer.Settings
Defined in bytes.model.
Options that control how a run executes.
API (1)
Fields and members
Public fields and members.
Source
Source: lib/reducer/src/bytes/model.zig:110
zig
/// Options that control how a run executes.pub const Settings = struct { /// Largest number of oracle calls a run may make, counting the call on the /// caller's own input. It defaults to `10_000`. /// /// - Zero returns `error.AttemptBudgetExhausted` before the workspace is /// acquired. /// - One, with a nonempty interesting input, ends the run after attempt 1 /// with `Completion.budget_exhausted` and keeps the input as it arrived. /// - One, with an empty interesting input, ends the run with /// `Completion.one_minimal`, because a zero-length input has no deletion /// to try. /// /// The ceiling counts oracle calls alone: bytes copied, memory the callback /// allocates, and wall-clock time all sit outside it, so a callback that /// loops forever leaves `reduce()` running forever. max_attempts: usize = 10_000,};Source: lib/reducer/src/root.zig:344
zig
/// Options that control how a run executes.pub const Settings = bytes.Settings;Also reachable as
Audit
| Definitions | 1 |
|---|---|
| Public names | 3 |
| Members | 1 |
| Version | 26.7.0 |
| Revision | daab053ee433 |