Hi,
On Mon, 8 Aug 2022 13:18:54 -0700 Biqian Cheng <bchen...@ucr.edu> wrote: > Thanks for your reply. I typed this command as you suggested > previously: ./configure --make-llvm-lib --with-cc clang-11 > --with-llvm-config llvm-config-11 > > Here are what I got after typing that command: Looks good. Did you rebuild it (make) in case it was wrong beforehand? Then check the LLVM version klee is linked against (e.g. ldd <path>/bin/klee) and finally the build output of your program.bc (enable verbose mode for make/...). Does klee complain without "--libc=uclibc"? > libllvm10/focal,now 1:10.0.0-4ubuntu1 amd64 [installed,automatic] Given that LLVM10 is on your machine as well I think we're on the right path. ;) Kind regards, Frank _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
