Merge pull request #27 from tautschnig/fix-memtrack

Parse new memory leak output

Author: tautschnig

tool-wrapper.inc

@@ -32,6 +32,9 @@ parse_result()
   if tail -n 50 $LOG.ok | \
       grep -Eq "^(\[.*\] .*__CPROVER_memory_leak == NULL|[[:space:]]*__CPROVER_memory_leak == NULL$)" ; then
     echo 'FALSE(valid-memtrack)'
+  elif tail -n 50 $LOG.ok | \
+      grep -Eq "^(\[.*\] |[[:space:]]*)dynamically allocated memory never freed in " ; then
+    echo 'FALSE(valid-memtrack)'
   elif tail -n 50 $LOG.ok | \
       grep -Eq "^(\[.*\] |[[:space:]]*)dereference failure:" ; then
     echo 'FALSE(valid-deref)'