commit | baf69645a5d270e6662d05d74e537e9ba970f34c | [log] [tgz] |
---|---|---|
author | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Feb 15 22:29:30 2012 +0000 |
committer | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Feb 15 22:29:30 2012 +0000 |
tree | f0574209b728b990d7fdc78505a0e77d66d6e2bf | |
parent | 44587797a620570eb7feec0c67065e308c6f5c03 [diff] |
* compare vgdb-error with n_errs_shown, not with n_errs_found. Using n_errs_shown allows the user to stop on an error identified in a previous run by counting errors shown. * shows also n_errs_shown in monitor command v.info n_errs_found * slightly clarified the manual, updated to new output of v.info n_errs_found git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12388 a5019735-40e9-0310-863c-91ae7b9d1cf9