[klee-dev] Klee-uclibc.bca Error when Running Coreutils

[Zhiyi Zhang]

Hi,


I have installed klee on Ubuntu(version, 14.04 64 bit) with
LLVM-3.4,and I successfully run the tutorial 1 & 2. However, I met a
problem when I run Coreutils 6.11. I used the same options which are
showed on "OSDI'08 Coreutils Experiments", and klee showed an error
message as following,

 *KLEE: ERROR: Link with library
/home/jcklee/jc/jcnewklee/klee/Release+Asserts/lib/klee-uclibc.bca
failed: Invalid valueLoading module failed : Invalid value*


Could you give me some suggestions to solve this problem? Thank you very much.


Best wishes!

Zhiyi Zhang
-------------- next part --------------
HTML attachment scrubbed and removed