Improve error reporting in DIVINE 4 tool module
@@ -126,11 +126,9 @@ class Tool(benchexec.tools.template.BaseTool):
return 'TIMEOUT'
if returncode != 0:
- return 'ERROR - Pre-run ({0})'.format( returncode )
+ return 'ERROR - {0}'.format( last )
- if last is None:
- return 'ERROR - no output'
- elif 'result:' in last:
+ if 'result:' in last:
res = last.split(':', maxsplit=1)[1].strip()
return self.RESMAP.get( res, result.RESULT_UNKNOWN );
else:
