recognize invalid witness and produce appropriate result (change string at your convenience for compatibility with other witness validators)
@@ -64,6 +64,9 @@ class UltimateTool(benchexec.tools.template.BaseTool):
status = result.RESULT_UNKNOWN
break
elif line.startswith('ERROR'):
+ if line.startswith('ERROR: INVALID WITNESS FILE'):
+ status = line
+ else:
status = 'ERROR'
break
