Fixed inconsistent usage of result_str and output

Fixed inconsistent usage of result_str and output (pointed out by Philipp Wendler in his review).
sosy-lab · Nov 2, 2023 · bb769a8 · bb769a8
1 parent bacb3d3
commit bb769a8
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/benchexec/tools/proton.py b/benchexec/tools/proton.py
@@ -47,7 +47,7 @@ def determine_result(self, run):
             elif "FALSE(termination)" in result_str:
                 status = result.RESULT_FALSE_TERMINATION
 
-            elif "UNKNOWN" in output:
+            elif "UNKNOWN" in result_str:
                 status = result.RESULT_UNKNOWN
 
             elif "INTERNAL-ERROR" in result_str:
@@ -59,7 +59,4 @@ def determine_result(self, run):
         elif run.exit_code.value == 64 and "Usage error!" in output:
             status = "INVALID ARGUMENTS"
 
-        else:
-            status = result.RESULT_ERROR
-
         return status