On 7 May 2017 at 06:27, Zhiyi Zhang <[email protected]> wrote: > 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.
It is likely that you incorrectly compiled klee-uclibc. You need to ensure that you compile it using a Clang version that matches the LLVM version (in your case that is Clang 3.4 and LLVM 3.4) that you link KLEE against. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
