symbiotic tool-module: update parsing results
@@ -146,6 +146,8 @@ class Tool(OldSymbiotic):
return result.RESULT_FALSE_MEMTRACK
elif line.startswith('RESULT: false(no-overflow)'):
return result.RESULT_FALSE_OVERFLOW
+ elif line.startswith('RESULT: false(termination)'):
+ return result.RESULT_FALSE_TERMINATION
elif line.startswith('RESULT: false'):
return result.RESULT_FALSE_REACH
else:
