search for: libkleeruntimeintrinsic

Displaying 2 results from an estimated 2 matches for "libkleeruntimeintrinsic".

[LLVMdev] klee linker problem
2013 Jun 05
2
[LLVMdev] klee linker problem
...and I have the following problem: echo Testing... Testing... echo There should be no assertion fails! There should be no assertion fails! klee -taint=direct taint_direct.o KLEE: output directory = "klee-out-8" klee: error: Cannot find linker input '/tmp/taint/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca' klee: ModuleUtil.cpp:51: llvm::Module* klee::linkWithLibrary(llvm::Module*, const string&): Assertion `0 && "linking in library failed!"' failed. 0 klee 0x00002ac2ccf576df 1 klee 0x00002ac2ccf57c49 2 libpthread.so.0 0x00002ac2cd8ffcb0 3 l...
[LLVMdev] klee linker problem
2013 Jun 06
0
[LLVMdev] klee linker problem
...echo Testing... > Testing... > echo There should be no assertion fails! > There should be no assertion fails! > klee -taint=direct taint_direct.o > KLEE: output directory = "klee-out-8" > klee: error: Cannot find linker input > '/tmp/taint/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca' > klee: ModuleUtil.cpp:51: llvm::Module* > klee::linkWithLibrary(llvm::Module*, const string&): Assertion `0 && > "linking in library failed!"' failed. > 0 klee 0x00002ac2ccf576df > 1 klee 0x00002ac2ccf57c49 > 2 libpthrea...