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

[creduce-bugs] creduce 2.3.0: pass_indent::regular failed to modify the test case



I've gotten a few of these.  Files attached as requested.

$ creduce --help | head -n 1
creduce 2.3.0 -- C and C++ program reducer

I've lost the original input/command for 754578.

The input that caused 996932 and 748103 was t.cpp, via:

$ creduce --timing ./repro.sh t.cpp

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

OOPS: pass_indent::regular failed to
modify the test case, which means you have
encountered a bug in C-Reduce. Please consider
mailing /Volumes/Data/llvm/bootstrap/play/delta/creduce/creduce_bug_754578 to
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.

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

OOPS: pass_indent::regular failed to
modify the test case, which means you have
encountered a bug in C-Reduce. Please consider
mailing /Volumes/Data/llvm/bootstrap/play/delta/creduce/creduce_bug_996932 to
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.

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

OOPS: pass_indent::regular failed to
modify the test case, which means you have
encountered a bug in C-Reduce. Please consider
mailing /Volumes/Data/llvm/bootstrap/play/delta/creduce/creduce_bug_748103 to
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.

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

Attachment: creduce_bug_754578
Description: Binary data

Attachment: creduce_bug_996932
Description: Binary data

Attachment: creduce_bug_748103
Description: Binary data

Attachment: t.cpp
Description: Binary data