commit | 0fb30ace7cd9e63623c4ed5dd720f18b0ea9dee3 | [log] [tgz] |
---|---|---|
author | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri May 15 13:17:17 2015 +0000 |
committer | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri May 15 13:17:17 2015 +0000 |
tree | a7f40323788ff7741be1caf94721727db97d9933 | |
parent | fc00a2a1f86ba77f905c8ee34b3c8c949bb9c107 [diff] |
Add statistics about the nr of used linesF git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15237 a5019735-40e9-0310-863c-91ae7b9d1cf9