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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
