Hi Andrew, All fixed. Thanks for reporting these issues to us! - Yang On 12/10/2015 07:25 AM, Andrew Burgess wrote:
The attached tar file contains a number of bug reports gathered from various runs of creduce, there's probably a few duplicates in there, but hopefully these should be helpful to you. I've build stock 2.4.0 creduce, against stock 3.7.0 llvm/clang. I'm running on x86-64 Fedora 20 release with 3.19.8-100.fc20.x86_64 kernel. I can provide any additional information you require, just ask. Thanks, Andrew