From 6bd3fdcbc1cc9aa188edd6e7ec01daca27de609b Mon Sep 17 00:00:00 2001
From: Peter Schrammel <peter.schrammel@diffblue.com>
Date: Mon, 19 Nov 2018 18:41:10 +0000
Subject: [PATCH] Fix parsing of memcleanup property

---
 tool-wrapper.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool-wrapper.inc b/tool-wrapper.inc
index ec3aa63..6ea3cec 100755
--- a/tool-wrapper.inc
+++ b/tool-wrapper.inc
@@ -23,7 +23,7 @@ if(/^CHECK\(init\((\S+)\(\)\),LTL\((\S+)\)\)$/) {
   print "PROP=\"unreach_call\"\n" if($2 =~ /^G!call\(__VERIFIER_error\(\)\)$/);
   print "PROP=\"unreach_call\"\n" if($2 =~ /^Gassert$/);
   print "PROP=\"memsafety\"\n" if($2 =~ /^Gvalid-(free|deref|memtrack)$/);
-  print "PROP=\"memcleanup\"\n" if($2 =~ /^Gvalid-(free|deref|memtrack)$/);
+  print "PROP=\"memcleanup\"\n" if($2 =~ /^Gvalid-memcleanup$/);
   print "PROP=\"overflow\"\n" if($2 =~ /^G!overflow$/);
   print "PROP=\"termination\"\n" if($2 =~ /^Fend$/);
 }'