Hacker News Reader

Problem of KLEE is lagging behind the latest LLVM version , which changed and improved a lot meanwhile.

There is support up to atleast llvm 3.8 now. See: http://klee.github.io/build-llvm38/

3.8 is super old already.