On 2016-04-18 10:58, Eric Eide wrote:
John Regehr <regehr@cs.utah.edu> writes:Also I still can't successfully configure C-Reduce against the LLVM 3.8binaries distributed from the LLVM web site on OS X.I just pushed a fix for this. Please let me know if it works for you.
I tried the official LLVM 3.8 distribution and a locally-built version. They both worked for me. Thanks for the fix!
- Yang