diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-08-07 17:03:22 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-19 15:37:46 +0000 |
| commit | d5ce6b3b2c62badebc7534550f09f1b5592a7aa3 (patch) | |
| tree | b8733065d645291db4ee0728b834c8dfc48fd42e /lib/Module/KInstruction.cpp | |
| parent | 488e65f76e49e28e3db1a845276bf3dac49a2dc1 (diff) | |
| download | klee-d5ce6b3b2c62badebc7534550f09f1b5592a7aa3.tar.gz | |
Refactor InstructionInfoTable
Better debug information
Diffstat (limited to 'lib/Module/KInstruction.cpp')
| -rw-r--r-- | lib/Module/KInstruction.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Module/KInstruction.cpp b/lib/Module/KInstruction.cpp index c7c841a4..ee54b67c 100644 --- a/lib/Module/KInstruction.cpp +++ b/lib/Module/KInstruction.cpp @@ -21,6 +21,7 @@ KInstruction::~KInstruction() { std::string KInstruction::getSourceLocation() const { if (!info->file.empty()) - return info->file + ":" + std::to_string(info->line); + return info->file + ":" + std::to_string(info->line) + " " + + std::to_string(info->column); else return "[no debug info]"; } |