Re: [klee-dev] How to compile c/c++ project to a unique LLVM IR bitcode?

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

[klee-dev] How to compile c/c++ project to a unique LLVM IR bitcode?

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