Crate fixture3_ddmin 

Sequential DDMin reducer for ordered candidate lists.

The crate reduces a list while preserving an oracle-defined property. It does not inspect candidates, mutate files, or run commands by itself. Callers provide candidates and an oracle that reports whether a candidate list is still interesting.

Structs

DdminInput

Input for one DDMin reduction run.

DdminOptions

Execution options for DDMin.

DdminOutput

Output from one DDMin reduction run.

DdminStats

Oracle accounting for one DDMin run.

Enums

DdminGuarantee

Guarantee reached by one DDMin run.

DdminStopReason

Reason DDMin stopped before reaching its normal guarantee.

OracleOutcome

Result of evaluating one candidate list.

UnresolvedReason

Reason an oracle could not evaluate a candidate list.

Traits

DdminOracle

Callback boundary between DDMin and the system being reduced.

Functions

ddmin

Minimize an ordered candidate list while preserving an oracle property.