Re: [creduce-bugs] creduce crashes

[Yang Chen <chenyang@cs.utah.edu>]

Hi Dmitry,

Fixed. Thanks for reporting the bug!

- Yang

On 03/07/2017 09:11 AM, Dmitry Vyukov wrote:
> Hello,
>
> 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.