diff options
| author | José Fonseca <[email protected]> | 2013-11-15 15:42:02 +0000 |
|---|---|---|
| committer | José Fonseca <[email protected]> | 2013-11-15 15:42:02 +0000 |
| commit | 420ccf7b8f33c92657479462478db787c431d750 (patch) | |
| tree | 0a1cc3be5bac2cb2a9c6958262b99d56bfbba354 /bin | |
| parent | c5a05a6aefb0c2dd34bf8b42a7ef3051dcc891c2 (diff) | |
tools/trace: Several bugfixes/improvements to dump_state.py
- Don't crash with user memory pointers.
- Support old bind_*_sampler_* methods. Useful when comparing dumps
from old branches.
- Misc.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions