Hi Apologies if this is not the appropriate space for pose this 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. Thanks in advance -- Leandro Rabindranath Leon -------------------------
signature.asc
Description: OpenPGP digital signature
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev