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
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev