Hello Ugur,

Please consider updating to the latest C-Reduce where this bug has been fixed. You can find it here:

  https://github.com/csmith-project/creduce

But also, errors like this should be harmless, just ignore them. Your file should be reduced anyhow.

John




On 11/9/15 5:10 PM, Ugur Koc wrote:
Hi creduce Developer(s),

I am trying to use creduce for my research. I got following error
message when I tried to reduce wc.c file of coreutils
=======================================

OOPS: pass_indent::regular failed to
modify the test case, which means you have
encountered a bug in C-Reduce. Please consider
mailing /Users/ugurmeryem/Downloads/coreutils-8.24/creduce_bug_299166 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.

=======================================

There were a lot of creduce_bug_* files produced in the directory. You
can find it all in the attachments (along with the interestingness script)

On MacOSx
Version:creduce 2.3.0 -- C and C++ program reducer






In order for me to continue my research, I need it to be fixed. Can you
please help me with this?
Thanks in advance,
Ugur Koc
Doctoral Student
[email protected] <mailto:[email protected]>
Computer Science Department
University of Maryland College Park

Reply via email to