Crates.io | treereduce-souffle |
lib.rs | treereduce-souffle |
version | 0.3.0 |
source | src |
created_at | 2023-03-11 19:45:12.642059 |
updated_at | 2023-07-17 17:05:04.488062 |
description | Fast, parallel, syntax-aware program reducer for Soufflé |
homepage | https://github.com/langston-barrett/treereduce |
repository | https://github.com/langston-barrett/treereduce |
max_upload_size | |
id | 807488 |
size | 25,524 |
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.