Expand description
SQL reducer that applies a sequence of reduction passes to simplify a failing SQL query while preserving its failure behavior.
The reducer works in fixed-point fashion: each transformation pass is applied iteratively
until no further simplification is possible. Only transformations that preserve failure
behavior (as checked by the Checker) are accepted.
This is used for SQL test case minimization, debugging, or fuzzing feedback reduction.