Replace for-else block with standard code
This syntax construct exists but is unusual and completely unnecessary
here.
@@ -57,5 +57,5 @@ class Tool(benchexec.tools.template.BaseTool2):
return result.RESULT_FALSE_REACH
elif "NOT SUPPORTED" in line or "VERIABS_UNKNOWN" in line:
return result.RESULT_UNKNOWN
- else:
+
return result.RESULT_ERROR
