[klee-dev] problems while running klee

[Alexandru Ionut Diaconescu]

Hello everyone,


I am following Tutorial 1 of Klee.
I can successfully compile :
../../llvm-gcc-4.2-2.9-i686-linux/llvm-gcc-4.2-2.9-i686-linux/bin/llvm-gcc
--emit-llvm -c -g get_sign.c

But I cannot run :  ../Release+Asserts/bin/klee get_sign.o
Error :  klee: error: Cannot find linker input
'/home/alex/llvm2.9/llvm/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca'

When I compiled LLVM and Klee I had llvm-gcc in my path. I found the same
problem in the klee-dev history, but there it is suggested that I didn't
had llvm-gcc in my path..... Therefore, do you think the solving of the
problem can come from the link :
*NOTE:* If you are installing the system of Ubuntu 12.04 (or similar), you
might want to take a look at this
message<http://thread.gmane.org/gmane.comp.compilers.llvm.klee/923>
.

Or I have other problem?


Thank you for your advice !
-- 
Best regards,
Alexandru Ionut Diaconescu
-------------- next part --------------
HTML attachment scrubbed and removed