klee谈c++14程序

Question

据我所知，我不能在C++14的程序上使用klee，因为llvm-3.4不支持它。

然而，我想知道是否有任何方法，技巧，实验版本等，可以让我在c++14程序上使用klee。

Answer 1

klee实际上已经死了，所以我怀疑它是否会更新到比LLVM3.4更新的版本，除非有人开始维护它。