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" wrote:
> Dan,
> Thanks for you answer. I think I've followed exactly the web site but
> maybe I'm wrong
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" wrote:
> On 24 March 2015 at 21:16, Alberto Barbaro
> wrote:
>
On 24 March 2015 at 21:16, Alberto Barbaro 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
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
Can someone help me to fix it please?
Thanks,
Albert
