Hi, > Exception: Could not find ".llvm_bc" ELF section in > "/home/loveling10/klee/examples/coreutils/coreutils/obj-llvm/src/base64"
You probably didn't use whole-program-llvm for your compilation process if you see this message. You should check if ``make`` was actually using wllvm, my guess it wasn't (try ``make --just-print``) It's just a guess but you should probably be passing CC and CXX to the configure commands rather than just make ``` export WLLVM_OUTPUT=DEBUG export CC=wllvm export CXX=wllvm++ ../configure --disable-nls CFLAGS="-g" make ``` The ``export WLLVM_OUTPUT=DEBUG`` will cause wllvm to emit lots of debuggin information when it runs. _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev