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.
klee is effectively dead, so I doubt it will be updated to something newer than LLVM 3.4 unless there will be someone who will start to maintain it.