Does the folder klee/Release+Asserts/lib/ exist? You should check the runtime is being built and that there are no errors. I'm assuming you built KLEE inside the KLEE source directory and not out of source.
$ cd /llvm-2.9/klee/runtime $ make clean $ make On a side not there is not good reason to build KLEE inside your llvm-2.9 folder. Thanks, Dan. On 11 November 2013 16:47, Pablo González de Aledo <[email protected]> wrote: > Hi, I'm trying to reproduce the coreutils experiment following > http://ccadar.github.io/klee/TestingCoreutils.html , but when I run > > klee --libc=uclibc --posix-runtime ./cat.bc --version > > I get the following error: > > klee: error: Cannot find linker input > '/llvm-2.9/klee/Release+Asserts/lib/libkleeRuntimePOSIX.bca' > > /llvm-2.9/ is my llvm installation path; I've searched inside and there's > not any libkleeRuntimePOSIX.bca there... > > Is anything wrong with my setup?. > > Thanks. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
