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

Re: [creduce-bugs] creduce bug report

Hello Ugur,

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


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


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


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
ukoc@cs.umd.edu <mailto:ukoc@cs.umd.edu>
Computer Science Department
University of Maryland College Park