| commit | cc1aed1ce2f0332cb840b5ec22ae2f769a670c35 | |
| author | Paul Floyd <pjfloyd@wanadoo.fr> | |
| Mon, 9 Oct 2023 20:54:30 +0000 (9 22:54 +0200) | ||
| committer | Paul Floyd <pjfloyd@wanadoo.fr> | |
| Mon, 9 Oct 2023 21:23:03 +0000 (9 23:23 +0200) | ||
| tree | a8e7278c247dbabb1ce539d7d84f30c08143724b | treesnapshot (tar.gz zip) |
| parent | 97508f5561756a43f054c1d8e06c3e318124c9c3 | commitdiff |
DHAT: only handle own user reqs, ignore others
Make other tools consistent with this as well
(using memcheck as the model). Also refactored
the DRD user req names to make it clearer which
are Valgrind user reqs, which are DRD public
user reqs and which are DRD internal user reqs.
Make other tools consistent with this as well
(using memcheck as the model). Also refactored
the DRD user req names to make it clearer which
are Valgrind user reqs, which are DRD public
user reqs and which are DRD internal user reqs.