[klee-dev] See llvm-ir

[Yugesh Kothari]

Hi,

When I run KLEE, the llvm-ir (.ll) file is saved as assembly.ll
However I would like to see the llvm instructions that Klee runs on for
each call-path or trace of the program (like if there are 3 program paths
that klee explores then I would like to get test00000.ll, test00001.ll,
test00002.ll or something along those lines)

Is there a flag to get this information?

Thanks!
-------------- next part --------------
HTML attachment scrubbed and removed