4 ms·

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

• kren1 9y ago
  There is support up to atleast llvm 3.8 now. See: http://klee.github.io/build-llvm38/ http://klee.github.io/build-llvm38/
  • xvilka 9y ago
    3.8 is super old already.