Hi,
On Mon, 8 Aug 2022 12:30:24 -0700 Biqian Cheng <bchen...@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 _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
