[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-bugs] creduce crashes
Fixed. Thanks for reporting the bug!
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)
--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
firstname.lastname@example.org 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.