On Tue, 2016-07-05 at 13:38 +, meng qingkun wrote:
> I have tested the coreutils, but I have a confusion. How to compile a
> c/c++ project to an unique LLVM bitcode fed to KLEE? For example,
> given an autotooled project like ffmpeg, how compile the source code
> to LLVM bitcode to be tested by
Hi KLEE developers,
I have tested the coreutils, but I have a confusion. How to compile a c/c++
project to an unique LLVM bitcode fed to KLEE? For example, given an autotooled
project like ffmpeg, how compile the source code to LLVM bitcode to be tested
by klee?
Thanks,
Qingkun Meng
___