[klee-dev] Dbg Location

[Yugesh Kothari]

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 input.bc and found them to be
different. I was wondering why this is the case?

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