Hi John and everyone else! I was creduce to reduce down an intermittent bug happening with rust's network code. So far it's working pretty well, but the program informed me that there were a couple bugs encountered in some of the programs with this error message:
OOPS: pass_indent::regular failed to modify the test case, which means you have encountered a bug in C-Reduce. Please consider mailing /Users/erickt/tmp/test/creduce_bug_646954 to [email protected] and we will try to fix the bug. Please also let us know what version of C-Reduce you are using and include any other details that may help us reproduce the problem. This was made with creduce 2.2.1, rust version d3af16b, and the attached driver.sh.
creduce_bug_75465
Description: Binary data
creduce_bug_395719
Description: Binary data
creduce_bug_646954
Description: Binary data
creduce_bug_659867
Description: Binary data
creduce_bug_913363
Description: Binary data
creduce_bug_939028
Description: Binary data
driver.sh
Description: Bourne shell script
