кли на с ++ 14 программ
Как я понял, я не могу использовать klee на программах в C++14, как
llvm-3.4 не поддерживает это.
Тем не менее, я хотел бы знать, есть ли способ, трюк, экспериментальный
версия и т. д., которая позволила бы мне использовать klee в программах на c ++ 14.
Решение
Klee фактически мертв, поэтому я сомневаюсь, что он будет обновлен до чего-то более нового, чем LLVM 3.4, если не найдется кто-то, кто начнет его поддерживать.
Другие решения
Других решений пока нет …