diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-11 16:45:42 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-19 15:45:04 +0000 |
| commit | cca3536a76d877c5441e54e093a5808cd05c4f86 (patch) | |
| tree | af98146fe7f71bb793fa9235bc241f73c85f68f6 /lib/Core/MemoryManager.h | |
| parent | 92a6ba10d2c125f5301613369a0f17856e637808 (diff) | |
| download | klee-cca3536a76d877c5441e54e093a5808cd05c4f86.tar.gz | |
When writing stack traces for bugs write the location in the assembly.ll
file as well.
Diffstat (limited to 'lib/Core/MemoryManager.h')
0 files changed, 0 insertions, 0 deletions