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'
ATT00267.txt (150 Bytes)