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

[John Regehr <regehr@cs.utah.edu>]

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,

John


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
> driver.sh.