[klee-dev] KLEE: ERROR: Loading file /usr/local/lib/klee/runtime/klee-uclibc.bca failed: Invalid record

[Frank Busse]

Hi,


On Mon, 8 Aug 2022 12:30:24 -0700
Biqian Cheng <bchen158 at ucr.edu> wrote:

> The error message is:
> 
> KLEE:  ERROR: Loading file /usr/local/lib/klee/runtime/klee-uclibc.bca
> failed: Invalid record

This happens typically when you mix different LLVM versions. See step 5:
https://klee.github.io/build-llvm11/

and make sure you're using the right llvm-config (and don't put '#' in
the command).


Kind regards,

Frank