Cool. Thanks, Eric! - Yang On 07/06/2018 05:44 PM, Eric Eide wrote:
C-Reduce 2.8.0 is released! Get it from GitHub: https://github.com/csmith-project/creduce/releases/tag/creduce-2.8.0 Or if you want the official tarball: http://embed.cs.utah.edu/creduce/creduce-2.8.0.tar.gz Notable improvements/changes since the previous release: + Supports and requires LLVM 6.0 + New `--not-c` command-line option disables passes most specific to C/C++ + Removed dependency on obsolete `Sys::CPU` Perl package + Numerous bug fixes Eric.