Dan, Thanks for you answer. I think I've followed exactly the web site but maybe I'm wrong. This eve I'll retry and send over here the output of the command that you have suggested.
Thanks, Alberto On 25 Mar 2015 13:36, "Dan Liew" <d...@su-root.co.uk> wrote: > On 24 March 2015 at 21:16, Alberto Barbaro <barbaro.albe...@gmail.com> > wrote: > > Hi all, > > I'm trying to set up klee with llvm 3.4 following the step by step guide. > > Everything looks good apart the last step. When I execute lit -v . I have > > this error: > > Klee-uclibc.bca failed: invalid record loading module failed: Invalid > record > > That error message suggests that you didn't build klee-uclibc > correctly. Try openining the ``klee-uclibc.bca`` file with ``llvm-ar`` > to check its a proper archive > > ``` > $ llvm-ar p /path/to/klee-uclibc.bca > ``` >
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev