[klee-dev] 'Cannot find linker input' reproducing coreutils experiment

[Pablo González de Aledo]

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.
-------------- next part --------------
HTML attachment scrubbed and removed