diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2017-07-16 10:10:01 +0200 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-07-18 18:34:13 +0100 |
| commit | cc1a60141d01cf13a222db05e18f29f9bda40921 (patch) | |
| tree | e9df523051299282f6eb728a9ee400ef61ef602a /lib/Core/Executor.cpp | |
| parent | 5e4f0b7c79d57b9a9908f6293a5936fa54e511e9 (diff) | |
| download | klee-cc1a60141d01cf13a222db05e18f29f9bda40921.tar.gz | |
Use assembly line for printing debug information
Instead of using an id, use the assembly line number executed
Diffstat (limited to 'lib/Core/Executor.cpp')
| -rw-r--r-- | lib/Core/Executor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index dc2bca4e..60ed1bd9 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -1251,7 +1251,7 @@ void Executor::printDebugInstructions(ExecutionState &state) { (*stream) << ":"; } - (*stream) << state.pc->info->id; + (*stream) << state.pc->info->assemblyLine; if (optionIsSet(DebugPrintInstructions, STDERR_ALL) || optionIsSet(DebugPrintInstructions, FILE_ALL)) |