diff options
author | Benjamin Dauvergne <bdauvergne@entrouvert.com> | 2010-07-21 13:57:03 +0000 |
---|---|---|
committer | Benjamin Dauvergne <bdauvergne@entrouvert.com> | 2010-07-21 13:57:03 +0000 |
commit | dbda2d11c04d9d690d8010bda4a89ed23f109fd7 (patch) | |
tree | 1b01ea92613084da67e6136ce3c77307b2aa45fa /tools | |
parent | 953b8ce6a951785e7350e20bc00c424c8187f6d1 (diff) | |
download | lasso-dbda2d11c04d9d690d8010bda4a89ed23f109fd7.tar.gz lasso-dbda2d11c04d9d690d8010bda4a89ed23f109fd7.tar.xz lasso-dbda2d11c04d9d690d8010bda4a89ed23f109fd7.zip |
[Core] move format-suppressions.py to tools directory
Diffstat (limited to 'tools')
-rw-r--r-- | tools/format-suppressions.py | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/tools/format-suppressions.py b/tools/format-suppressions.py new file mode 100644 index 00000000..cc9d2fbd --- /dev/null +++ b/tools/format-suppressions.py @@ -0,0 +1,43 @@ +import re + +valgrind_log = open('log','r').read() + +inblock = False +l = 0 +i = 0 +keep = dict() + +limit_re = r'type' + +for line in valgrind_log.splitlines(): + if line.startswith('{'): + inblock = True + block = [] + continue + if line.startswith('}'): + inblock = False + l = 0 + i += 1 + ok = False + name = "" + for x in block[2:]: + name = name + x + if re.search(limit_re, x): + ok = True + break + if ok: + keep[name] = block + continue + if inblock: + block.append(line) +i = 43 +for x in keep: + block = keep[x] + print "{" + print " suppression", i + for x in block[1:]: + print x + if re.search(limit_re, x): + break + print '}' + i += 1 |