Displaying 1 result from an estimated 1 matches for "testingcoreutils".
2010 Apr 22
0
[LLVMdev] problem when building coreutil
Hi all,
I'm new to llvm and klee. Now I'm trying to build up coreutil with klee.
Following the steps online (http://klee.llvm.org/TestingCoreutils.html), I
went to step 3 and stuck.
When I try to run:
klee --libc=uclibc --posix-runtime ./cat.bc -version
Error occurred like:
klee: error: Cannot find linker input '/lib/libc.a'
klee: ModuleUtil.cpp:42: llvm::Module* klee::linkWithLibrary(llvm::Module*,
const std::string&): Assertio...