Removing the for loop in result processing

sosy-lab · Oct 18, 2024 · ebe6a3a · ebe6a3a
1 parent 554effc
commit ebe6a3a
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/benchexec/tools/hornix.py b/benchexec/tools/hornix.py
@@ -31,10 +31,10 @@ def project_url(self):
  return "https://github.com/d3sformal/hornix"
 
  def determine_result(self, run):
- for line in run.output:
-  if "sat" == line.strip():
-  return result.RESULT_TRUE_PROP
-  elif "unsat" == line.strip():
-  return result.RESULT_FALSE_REACH
-  else:
-  return result.RESULT_UNKNOWN
+ line = run.output[0]
+ if "sat" == line.strip():
+ return result.RESULT_TRUE_PROP
+ elif "unsat" == line.strip():
+ return result.RESULT_FALSE_REACH
+ else:
+ return result.RESULT_UNKNOWN