From e0a65630d6927e81f3d5f5c03b4775e78815a695 Mon Sep 17 00:00:00 2001
From: Quentin Dufour <quentin.dufour@inria.fr>
Date: Thu, 4 Apr 2019 11:41:06 +0200
Subject: [PATCH] Add some info on log parsing

---
 README.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/README.md b/README.md
index 7a1bbb4..7b1145b 100644
--- a/README.md
+++ b/README.md
@@ -198,3 +198,10 @@ Check if timer's bug occured:
 ```
 ls | grep -P '^naive-|^rrh-|^rr-|^orig-' | while read n; do echo "$n "; grep 'bug' $n/log/client-measlat-stderr.log; done
 ```
+
+Check if a free() invalid pointer bug occured:
+
+```
+grep 'free' naive-*/log/*-donar-*.log
+grep -rn 'free()' .
+```