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

Re: [creduce-bugs] creduce crashes

Hi Dmitry,

Fixed. Thanks for reporting the bug!

- Yang

On 03/07/2017 09:11 AM, Dmitry Vyukov wrote:

Following the instructions that I've got:

sh: line 1: 42411 Segmentation fault      (core dumped)
/usr/lib/creduce/clang_delta --transformation=union-to-struct
--counter=1 /tmp/reduced.c > /tmp/fileHC4flZ
OOPS: clang_delta::union-to-struct has crashed, which means
you have encountered a bug in C-Reduce. Please
consider mailing /usr/local/google/home/dvyukov/src/linux2/creduce_bug_510989 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.

As far as I see the files are self-contained, so just attaching them.

I have creduce 2.2.1 installed with apt-get install creduce.