[klee-dev] Invalid recordLoading

[Alberto Barbaro]

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" <dan at su-root.co.uk> wrote:

> On 24 March 2015 at 21:16, Alberto Barbaro <barbaro.alberto at 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
> ```
>
-------------- next part --------------
HTML attachment scrubbed and removed