diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2013-11-13 23:43:19 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-19 15:45:03 +0000 |
| commit | a329a133d66a86249a3b1ce8025a88f4c0b197c4 (patch) | |
| tree | 54ae11e4465bf1e08a62d60218c9ab0ff6dac469 /include | |
| parent | 2c04a50f501d861da765ee8d3a0d3531dcbd52af (diff) | |
| download | klee-a329a133d66a86249a3b1ce8025a88f4c0b197c4.tar.gz | |
Simplify acquisition of debug informtion for instruction info with newer LLVM versions
With newer LLVM versions (starting with LLVM 2.7) debug information are directly associated as meta data with each instruction. Therefore, debug information can be acquired directly from each instruction.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions