add support for property memcleanup in CPAchecker
@@ -170,7 +170,7 @@ class Tool(benchexec.tools.template.BaseTool):
elif line.startswith('FALSE'):
newStatus = result.RESULT_FALSE_REACH
match = re.match('.* Property violation \(([^:]*)(:.*)?\) found by chosen configuration.*', line)
- if match and match.group(1) in ['valid-deref', 'valid-free', 'valid-memtrack', 'no-overflow', 'no-deadlock', 'termination']:
+ if match and match.group(1) in ['valid-deref', 'valid-free', 'valid-memtrack', 'valid-memcleanup', 'no-overflow', 'no-deadlock', 'termination']:
newStatus = result.STR_FALSE + '(' + match.group(1) + ')'
else:
newStatus = result.RESULT_UNKNOWN
