Hi, please open a new issue on GitHub and include a small example
demonstrating this problem. Also, as documented in the code, you can
try to disable this assert.
Cristian
On 27/05/15 05:42, Zhiyi Zhang wrote:
Hi, all
I have found the error report when I only used search==nurs:covnew as
Zhiyi Zhang on 2015-05-27:
I have found the error report when I only used search==nurs:covnew as the
path search heuristic. It is
klee: ModuleUtil.cpp:435: llvm::Function*
klee::getDirectCallTarget(llvm::CallSite): Assertion `0 FIXME:
Unresolved
direct target for a constant
