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.
Attachment:
creduce_bug_510989
Description: Binary data
Attachment:
creduce_bug_544460
Description: Binary data