klee on c ++ 14 program
[英]klee on c++14 programs
问题描述
As I have understood, I can not use klee on programs in C++14 , as llvm-3.4 does not support it. 
据我klee ，我不能在C++14使用klee ，因为llvm-3.4不支持它。
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. 但是，我想知道是否有任何方法，技巧，实验版本等，这将允许我在c ++ 14程序上使用klee。
1 个解决方案
解决方案1
0 2016-08-16 08:13:34
klee实际上已经死了，所以我怀疑它会更新到比LLVM 3.4更新的东西，除非会有人开始维护它。
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.
相关问题
没有输出？ C++14 - No output? C++14
用C ++ 14初始化 - Initializer with c++14
用c ++编译14 - Compile in c++14
C ++中的“constexpr”14 - “constexpr” in C++14
C ++中的网络库14 - Networking Library in C++14
在 CentOS 6 上编译 c++14 - Compile for c++14 on CentOS 6
Lambda 捕获 C++14 - Lambda Captures C++14
英特尔引脚与 C++14 - Intel Pin with C++14
在qtcreator中编译C ++ 14 - Compilation of C++14 in qtcreator
C ++ 14 RAM的使用 - C++14 RAM Usage
相关标签