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" <[email protected]> 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" <[email protected]> wrote: > >> On 24 March 2015 at 21:16, Alberto Barbaro <[email protected]> >> 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 [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
