treereduce

treereduce is a fast, parallel, syntax-aware test case reducer based on tree-sitter grammars. In other words, treereduce helps you shrink structured data (especially source code) while maintaining some property of interest, for example, that the program causes a compiler crash or outputs a certain message.

See the Overview for more information, or get started right away with Installation and Usage.

Source available on Github.

User Guide

• Contributing
• Installation
  • From a Release
  • From crates.io
  • From Source
• Usage
  • Getting results faster
  • Getting smaller tests

Reference

• Benchmarks
  • Basic program
  • Basic program with -Werror
  • Pre-processed “Hello, world!”
  • Best case
  • Worst case
  • Data collection
• Changelog
  • 0.3.0 - 2023-07-17
    • Added
    • Changed
  • 0.2.2 - 2023-04-06
    • Changed
  • 0.2.1 - 2023-03-21
    • Fixed
  • 0.2.0 - 2023-03-16
    • Added
    • Changed
    • Fixed
  • 0.1.0 - 2023-03-11
• Design
  • Goals
  • Design Statement
  • Assumptions
  • High-Level Design
  • Reduction Strategies
  • Bibliography
• Overview
  • Features
  • Comparison to Other Tools

Developer Guide

• Build
• Development
  • Tools
  • Testing
  • Tuning
    • Benchmarking
    • Profiling
  • Releasing