| Index: tools/valgrind/drmemory_analyze.py
|
| diff --git a/tools/valgrind/drmemory_analyze.py b/tools/valgrind/drmemory_analyze.py
|
| index 915c601c25f8cd9215ee92e7fad0e22db82605f6..29fc0ed4b0c52de0e13cda5b2afb5a553ebd61c6 100755
|
| --- a/tools/valgrind/drmemory_analyze.py
|
| +++ b/tools/valgrind/drmemory_analyze.py
|
| @@ -40,13 +40,18 @@ class DrMemoryError:
|
| self._suppression = "\n".join(supp_lines)
|
|
|
| def __str__(self):
|
| - output = self._report + "\n"
|
| + output = ""
|
| + output += "### BEGIN MEMORY TOOL REPORT (error hash=#%016X#)\n" % \
|
| + self.ErrorHash()
|
| + output += self._report + "\n"
|
| if self._testcase:
|
| output += "The report came from the `%s` test.\n" % self._testcase
|
| output += "Suppression (error hash=#%016X#):\n" % self.ErrorHash()
|
| output += (" For more info on using suppressions see "
|
| "http://dev.chromium.org/developers/how-tos/using-drmemory#TOC-Suppressing-error-reports-from-the-\n")
|
| output += "{\n%s\n}\n" % self._suppression
|
| + output += "### END MEMORY TOOL REPORT (error hash=#%016X#)\n" % \
|
| + self.ErrorHash()
|
| return output
|
|
|
| # This is a device-independent hash identifying the suppression.
|
|
|