[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-bugs] creduce bug report

Thank. you.
I updated it to creduce 2.5.0 (ef3037e) by following command:
git clone https://github.com/csmith-project/creduce.git

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.

Attachment: run_script.sh
Description: Binary data

On Nov 9, 2015, at 15:42, Eric Eide <eeide@cs.utah.edu> wrote:

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:


But I would recommend using the current version from GitHub:

 git clone https://github.com/csmith-project/creduce.git

Note that both of these require LLVM 3.7.0.


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