Simplify code

Co-authored-by: Philipp Wendler <[email protected]>
sosy-lab · Aug 9, 2024 · 62269e8 · 62269e8
1 parent 98f031a
commit 62269e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchexec/tools/super_prove.py b/benchexec/tools/super_prove.py
@@ -49,7 +49,7 @@ def determine_result(self, run):
         """
         @return: status of super_prove after executing a run
         """
-        if len(run.output) > 0:
+        if run.output:
             if run.output[0] == "0":
                 return result.RESULT_TRUE_PROP
             elif run.output[0] == "1":