[klee-dev] whole-program-llvm

[Dan Liew]

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