| Thank. you. I updated it to creduce 2.5.0 (ef3037e) by following command:
Now it reduces the input file down to 0 (empty file). I am running my interestingness script on the empty file, it returns 1. Here is my interestingness script.
|
run_script.sh
Description: Binary data
Ugur Koc < [email protected]> 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 < [email protected]> . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX
|
