问题
klee报错:
klee: /tmp/klee_src/tools/klee/main.cpp:1068: void createLibCWrapper(std::vector<std::unique_ptrllvm::Module >&, llvm::StringRef, llvm::StringRef): Assertion `userMainFn && “unable to get user main”’ failed.
原因
测试代码中加了ifdef INCLUDEMAIN,导致main函数被跳过,触发了klee的assertion。
#ifdef INCLUDEMAIN
int main
.....
.....
#endif
解决
注释掉那两行就可以。