Adding support for memcleanup proprty to SMACK tool
@@ -84,6 +84,8 @@ class Tool(benchexec.tools.template.BaseTool):
return result.RESULT_FALSE_FREE
elif 'memory leak' == errtype:
return result.RESULT_FALSE_MEMTRACK
+ elif 'memory cleanup' == errtype:
+ return result.RESULT_FALSE_MEMCLEANUP
elif 'signed integer overflow' == errtype:
return result.RESULT_FALSE_OVERFLOW
else:
