Hi all, I'm new to klee and 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&): Assertion `0 && "linking in library failed!"' failed. 0 klee 0x0000000000e3b21f 1 klee 0x0000000000e3bcda 2 libpthread.so.0 0x00000036d000dd40 3 libc.so.6 0x00000036cf430015 gsignal + 53 4 libc.so.6 0x00000036cf431980 abort + 272 5 libc.so.6 0x00000036cf429726 __assert_fail + 246 6 klee 0x000000000058a541 klee::linkWithLibrary(llvm::Module*, std::string const&) + 193 7 klee 0x0000000000523fbe 8 klee 0x000000000052bafc main + 7052 9 libc.so.6 0x00000036cf41d8a4 __libc_start_main + 244 10 klee 0x0000000000521fd9 Aborted I wonder why it looks for libc.a under /lib, and I'm not sure how to direct it to the correct location. In fact, I'm not sure which libc it should point to. I try to modify the makefile under obj-llvm, changing 'libdir' to /usr/lib and /my/path/to/uclibc/lib, but neither works. Could anyone tell me what may be the problem? Thanks a lot. Best, --Wenbin -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100420/0a3b1d39/attachment.html
