diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-11 16:23:10 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-19 15:45:03 +0000 |
| commit | 6829fb93ce36afc852c97928b94ab9ad5e221aec (patch) | |
| tree | 1df5c0d413521db4b790c65877fa8a74dc98d0f1 /scripts | |
| parent | 58de8cdce75bcee981ec813c57fb2ed7e83e9878 (diff) | |
| download | klee-6829fb93ce36afc852c97928b94ab9ad5e221aec.tar.gz | |
Only record debug info into InstructionInfoTable if debug information
is actually available. In addition if doing a DEBUG build then the command line flag -debug-only=klee_missing_debug shows the instructions missing debug information and -debug-only=klee_obtained_debug show the instructions with debug information.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions