commit | a4b20c089072bdaf83938044ec077a6a89622481 | [log] [tgz] |
---|---|---|
author | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat May 23 12:25:22 2015 +0000 |
committer | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat May 23 12:25:22 2015 +0000 |
tree | 394c3b3e17ace3ad5b840436c404e5611624a3cd | |
parent | 49af592f7a9944d8d60a93a407c46521578170cf [diff] |
Add stats in helgrind for oldref history found versus not found git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15283 a5019735-40e9-0310-863c-91ae7b9d1cf9