Description
Large failing test cases can be reduced automatically while preserving the interesting failure. This is useful for compiler bugs, static analyzer issues, and debugging cases where a smaller reproducer is easier to understand.
Reduction tools repeatedly run commands and modify input files. Use copies of test cases and make sure the predicate command is safe and deterministic.