treereduce-souffle

Crates.iotreereduce-souffle
lib.rstreereduce-souffle
version0.3.0
sourcesrc
created_at2023-03-11 19:45:12.642059
updated_at2023-07-17 17:05:04.488062
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,524
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: 162

cargo fmt