Possible future works of the test case reduction

[ColinYoungTaro]

• Refactor the implementation of the AST-based reducer, making it more extendable.
• add support of writing reduced result to log files. #865
• Log reduced results and add docs about this feature.
• Add options of time and steps limit for AST-based reducer.
• Add support for more statements. e.g.INSERT, UPDATE.
• Consider support different dialects of some kinds of DBMSs

[oraluben]

How about add docs about this feature? e.g. how to use it, what information could be found in the log/output

[ColinYoungTaro]

How about add docs about this feature? e.g. how to use it, what information could be found in the log/output

OK. But I wonder where should the doc be added.

[oraluben]

OK. But I wonder where should the doc be added.

A markdown in docs/ would be fine, e.g. docs/SqlReduction.md.