klee on c++14 programs

Question

As I have understood, I can not use klee on programs in C++14 , as llvm-3.4 does not support it.

However, I would like to know if there is any way, trick, experimental version, etc, which would allow me use klee on c++14 programs.

Answer 1

klee实际上已经死了，所以我怀疑它会更新到比LLVM 3.4更新的东西，除非会有人开始维护它。