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 [email protected] 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.
