Ugur Koc <
ukoc@cs.umd.edu> writes:
I am trying to use creduce for my research. I got following error message when
I tried to reduce wc.c file of coreutils
[...]
On MacOSx
Version:creduce 2.3.0 -- C and C++ program reducer
Can you try the current version of C-Reduce to see if the bug is still present?
Quite a few improvements and bug fixes have been made since version 2.3.0.
The current "official release" is version 2.4.0, which you can get here:
https://github.com/csmith-project/creduce/releases/tag/creduce-2.4.0But I would recommend using the current version from GitHub:
git clone
https://github.com/csmith-project/creduce.gitNote that both of these require LLVM 3.7.0.
Eric.
--
-------------------------------------------------------------------------------
Eric Eide <
eeide@cs.utah.edu> . University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX