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
[email protected] <mailto:[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.
