treereduce-souffle (cargo): Fast, parallel, syntax-aware program reducer for Soufflé
Keywords: minimization|souffle|program-reducer|test-case-reduction|delta-debugging|program-reduction|test-case-minimization|test-reduction|tree-sitter