tiny.reducer.Completion
Defined in bytes.model.
Status recording which stopping condition the search reached.
API (2)
Fields and members
Public fields and members.
Source
Source: lib/reducer/src/bytes/model.zig:69
zig
/// Status recording which stopping condition the search reached.pub const Completion = enum { /// Every occurrence deletion of one byte from the returned output was put /// to the oracle and came back uninteresting. Given a deterministic oracle /// that decides from the candidate's content alone, no single byte comes /// out of the result while the result stays interesting. 1-minimality is a /// local guarantee, and it leaves open whether the result is globally /// shortest. one_minimal, /// The number of oracle calls reached `Settings.max_attempts` before the /// single-byte sweep could finish. The returned slice is an interesting /// subsequence of the initial input. The 1-minimality guarantee is given /// up, because the search stopped before trying every single-byte deletion, /// and that holds even when the result happens to be minimal. budget_exhausted,};Source: lib/reducer/src/root.zig:321
zig
/// Stopping condition that ended the search, `one_minimal` or/// `budget_exhausted`.pub const Completion = bytes.Completion;Also reachable as
Audit
| Definitions | 1 |
|---|---|
| Public names | 3 |
| Members | 2 |
| Version | 26.7.0 |
| Revision | daab053ee433 |