Hi, I've recently ran into this error when using klee --libc=uclibc --posix-runtime --external-calls=all program.bc
The error message is: KLEE: ERROR: Loading file /usr/local/lib/klee/runtime/klee-uclibc.bca failed: Invalid record I configure KLEE with llvm 11, and compile these C programs with Clang 11. What are the potential solutions for solving this error? Thank you! Biqian Cheng
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
