[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

Hi Erick!

I think this message is indicating a harmless problem. I need to think about it more, but probably we want to simply disable this message for passes that might legitimately fail to modify the testcase.

Thanks for the report,


On 11/16/14, 9:50 AM, Erick Tryzelaar wrote:
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 <mailto: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