Hi,
I had a question about the dbg location as seem in the assembly.ll file
generated by Klee.
I assume that Klee operates on this assembly.ll file (so please correct me
if wrong).
I was comparing the dbg location information printed in assembly.ll and the
.ll file generated by running llvm-dis
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 test0.ll, test1.ll,