tree 1817dcad25075eebcaf6808f18bee1784830b372
parent c81436d329fa0be3dfb4c2bfd1b4783e0489884f
author philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1405453575 +0000
committer philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1405453575 +0000

produce cfsi and str dedup pa at the same verbosity level


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14166 a5019735-40e9-0310-863c-91ae7b9d1cf9