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!
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
