[klee-dev] Invalid recordLoading

[Alberto Barbaro]

Hi,
Should I see the files contained in it?
I can see just not printable characters.. I followed the guide on the web
site. Any advice?

Thanks,
Alberto
On 25 Mar 2015 13:47, "Alberto Barbaro" <barbaro.alberto at gmail.com> wrote:

> 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