Updated chapter about DRD in the Valgrind manual:
- Documented the two new command-line options.
- Documented that DRD now supports custom memory allocators a.k.a.
memory pools.
- Documented the new client requests (ANNOTATE_*()).
- Updated manual after the usability improvement that DRD now uses one
thread ID instead of two thread ID numbers in its error messages.
- Rewrote several paragraphs to make these more clear.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10490 a5019735-40e9-0310-863c-91ae7b9d1cf9
1 file changed