Nice. Thanks, Eric! - Yang On 2015-09-28 12:09, Eric Eide wrote:
C-Reduce 2.4.0 is released! Get it from GitHub: https://github.com/csmith-project/creduce/releases/tag/creduce-2.4.0 Or if you want the official tarball: http://embed.cs.utah.edu/creduce/creduce-2.4.0.tar.gz Eric.