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

[Pablo González de Aledo]

Yes, the folder klee/Release+Asserts/lib exists under /llvm-2.9/

its content is the following:

mint at mint ~/coreutils-6.11/obj-llvm/src $ ls
/llvm-2.9/klee/Release+Asserts/lib/
libkleaverExpr.a    libkleeBasic.a  libklee-libc.a   libkleeRuntest.a
libkleeRuntimeIntrinsic.a    libkleeRuntimePOSIX.a
libkleaverSolver.a  libkleeCore.a   libkleeModule.a  libkleeRuntest.so
 libkleeRuntimeIntrinsic.bca  libkleeSupport.a

I've checked the runtime builds without errors.

I've installed llvm in /llvm-2.9, klee in /llvm-2.9/klee and klee-uclibc in
/llvm-2.9/klee-uclibc-0.02-x64/. May be it's not the best setup?.

The most similar file to the file asked in my installation is
/llvm-2.9/klee/Release+Asserts/lib/libkleeRuntimePOSIX.a. Can I "ln -s"
this file to the file asked without worries?.

Thanks.

2013/11/11 Daniel Liew <daniel.liew at imperial.ac.uk>

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