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
