[klee-dev] Invalid recordLoading

[Dan Liew]

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
```