Simplify control structure and make consistent with other tool-info modules
@@ -64,10 +64,9 @@ class UltimateTool(benchexec.tools.template.BaseTool):
status = result.RESULT_UNKNOWN
break
elif line.startswith('ERROR'):
+ status = result.RESULT_ERROR
if line.startswith('ERROR: INVALID WITNESS FILE'):
- status = line
- else:
- status = 'ERROR'
+ status += ' (invalid witness file)'
break
return status
