klee on c ++ 14 program

Question

據我klee ，我不能在C++14使用klee ，因為llvm-3.4不支持它。

但是，我想知道是否有任何方法，技巧，實驗版本等，這將允許我在c ++ 14程序上使用klee。

Answer 1

klee實際上已經死了，所以我懷疑它會更新到比LLVM 3.4更新的東西，除非會有人開始維護它。