Hello Klee developers, We are aiming to use KLEE to generate test cases for GCC compiled programs automatically. It is understood from the tutorials that the target programs must be compiled with llvm-gcc as KLEE operates on bitcode files. Is it possible to use KLEE on GCC compiled target programs for automatic test case generation ? How about it's usage for TC generation for clang compiled bitcode files? Is KLEE strictly llvm-gcc compiler dependent ?
Thanks in advance.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
