[klee-dev] Invalid recordLoading

[Alberto Barbaro]

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,
Alberto
-------------- next part --------------
HTML attachment scrubbed and removed