[klee-dev] Running latest coreutils with klee build on llvm3.4

[Awanish Pandey]

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
-------------- next part --------------
HTML attachment scrubbed and removed