Yes, the folder klee/Release+Asserts/lib exists under /llvm-2.9/ its content is the following:
mint@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 <[email protected]> > 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
