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/Module/PhiCleaner.cpp | |
| 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/Module/PhiCleaner.cpp')
0 files changed, 0 insertions, 0 deletions