Hi,
> it reports the error that > > ERROR:File > "/home/loveling10/klee/examples/coreutils/coreutils/obj-llvm/src/base64.o" > of type ELF_OBJECT cannot be used. You're supposed to run ``extract-bc`` on the final executable i.e. ``base64``. You tried running ``extract-bc`` on one of the constituent object files of ``base64`` which will not work. Please read the whole-program-llvm README [1] more carefully. [1] https://github.com/travitch/whole-program-llvm/blob/master/README.md _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
