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

[Daniel Liew]

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
<pablo.aledo at gmail.com> 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.