tree 394c3b3e17ace3ad5b840436c404e5611624a3cd
parent 49af592f7a9944d8d60a93a407c46521578170cf
author philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1432383922 +0000
committer philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1432383922 +0000

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