Index: tools/valgrind/drmemory_analyze.py |
=================================================================== |
--- tools/valgrind/drmemory_analyze.py (revision 111137) |
+++ tools/valgrind/drmemory_analyze.py (working copy) |
@@ -84,6 +84,13 @@ |
self.ReadLine() |
break |
+ while True: |
+ self.ReadLine(); |
+ if (self.line_ == ''): break |
+ |
+ if self.line_.startswith("ASSERT FAILURE"): |
+ self.reports.append(self.line_.strip()) |
+ |
self.cur_fd_.close() |
def Report(self, check_sanity): |