Should be fixed, thanks. John 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.