Hi everyone, I used wllvm and it works. But it creates binary then extract-bc provide us bitcode. If I am adding klee_make_symbolic() in coreutils source code wllvm can't produce binary so unable to generate bitcode file.
Is there any way to generate bc file for coreutils which contain klee_make_symbolic from llvm3.4 version? -- Thanking You Awanish Pandey PhD, CSE IIT Kanpur
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev