Hi Sang,
We plan to merge #729 into the mainline soon. However, the other PR,
#605, still needs some work. But I hope to be able to bring support for
3.8 into the mainline in the next few weeks.
Best,
Cristian
On 04/05/2018 22:44, Sang Phan wrote:
Hello,
I'm using a newer Ubuntu where
Hello,
I'm using a newer Ubuntu where LLVM 3.4 is no longer available. So I'm
trying to build Klee with LLVM 3.8 following the instructions in this link:
http://klee.github.io/build-llvm38/
However, I couldn't merge the pull request. After running
git merge pull729
I got the following errors: