据我所知，我不能在 C++14 中的程序上使用 klee，因为
llvm-3.4不支持。
不过，我想知道有没有什么办法，trick，experimental 版本等，这将允许我在 c++14 程序上使用 klee。
最佳答案
klee 实际上已经死了，所以我怀疑它是否会更新到比 LLVM 3.4 更新的版本，除非有人开始维护它。
关于c++ - klee on c++14 程序，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/38956453/