[creduce-bugs] A number of creduce failed to reduce pass_indent failed to modify a rust testcase

[Erick Tryzelaar <erick.tryzelaar@gmail.com>]

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
creduce-bugs@flux.utah.edu 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.

Attachment: creduce_bug_75465
Description: Binary data

Attachment: creduce_bug_395719
Description: Binary data

Attachment: creduce_bug_646954
Description: Binary data

Attachment: creduce_bug_659867
Description: Binary data

Attachment: creduce_bug_913363
Description: Binary data

Attachment: creduce_bug_939028
Description: Binary data

Attachment: driver.sh
Description: Bourne shell script