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

Re: [creduce-bugs] creduce bug report

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