diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-14 15:01:05 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-14 15:01:05 -0700 |
| commit | 8ecd31572aae60ed50f487bccaad6abb7b346528 (patch) | |
| tree | 0c84d99c29c250def2c29baab6981af2a1e2912e /lib/SMT | |
| parent | e90e1ab38617253f67e7c6fa682e972b1c605b78 (diff) | |
| download | klee-8ecd31572aae60ed50f487bccaad6abb7b346528.tar.gz | |
[Module] Try harder to associate each instruction with source level debug info.
- This makes KCachegrind output look nicer, as otherwise it assumes instructions without debug info were inlined and shows some message to that effect. - This does however we might be lying a bit about the source line that an instruction came from. - This also adds a test case for our istats output, yay!
Diffstat (limited to 'lib/SMT')
0 files changed, 0 insertions, 0 deletions