Hi Dmitry,
I'm in the middle of some more C-Reduce changes right now. It might be
best to not use the current version until things stabilize a bit.
-- tests 0..3 PASS
-- tests 4, 5, 7 FAIL with
I'll look into this, thanks for letting us know.
0. <eof> parser at end of file
sh: line 1: 23784 Segmentation fault (core dumped)
/home/dimhen/build/creduce/creduce/../clang_delta/clang_delta
--transformation=return-void --counter=1
/home/dimhen/tmp/creduce-WStouG/small.c > /tmp/file0I5kCp
Right now we only develop and test using Clang 3.2, so we can't help you
with crashes against the LLVM top of tree. It's super easy to download
the 3.2 binary distribution and compile C-Reduce against it, so I'd ask
you to just do that.
I have not seen any hangs like you are seeing, but it could easily be
that I have introduced new bugs lately. I'm still making some changes
to the core of C-Reduce but will hopefully be done soon, and then I'll
try to reproduce the problems you are seeing.
John
