diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-11 16:39:35 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-19 15:45:04 +0000 |
| commit | 92a6ba10d2c125f5301613369a0f17856e637808 (patch) | |
| tree | 67b4c19a87e60df845d41cfce28c9ead7bd9268e /lib/Core/MemoryManager.h | |
| parent | 6829fb93ce36afc852c97928b94ab9ad5e221aec (diff) | |
| download | klee-92a6ba10d2c125f5301613369a0f17856e637808.tar.gz | |
If error location information is missing be explicit about it. This
is more helpful because often the next message is "Now ignoring error at this location". Which is slightly confusing when no location is shown.
Diffstat (limited to 'lib/Core/MemoryManager.h')
0 files changed, 0 insertions, 0 deletions