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

Re: [creduce-dev] Run-time Perl Warnings from C-Reduce bc92ff4

Should be fixed, thanks.


On 4/18/16 4:59 PM, Eric Eide wrote:
John Regehr <regehr@cs.utah.edu> writes:

Also I still can't successfully configure C-Reduce against the LLVM 3.8
binaries distributed from the LLVM web site on OS X.

Thanks for the reminder.  I haven't gotten to testing on OS X yet.