treereduce-souffle

Crates.iotreereduce-souffle
lib.rstreereduce-souffle
version0.4.1
created_at2023-03-11 19:45:12.642059+00
updated_at2025-12-13 17:43:07.356766+00
descriptionFast, parallel, syntax-aware program reducer for Soufflé
homepagehttps://github.com/langston-barrett/treereduce
repositoryhttps://github.com/langston-barrett/treereduce
max_upload_size
id807488
size25,570
Langston Barrett (langston-barrett)

documentation

README

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 documentation for more information. Documentation is also available online.

Commit count: 263

cargo fmt