tree b130b8f3d0d46026a51ff84bf8885d7c6f952bb3
parent 8939e0990ab7a7fcc81f67e7ce3573148e4e1c2c
author philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1431377809 +0000
committer philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1431377809 +0000

VTS stats
* add the missing increment to the nr of gc done
* add vts pruning stat


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