Fix an 'IndexError: list index out of range' in tool-info module for …

…WitnessLint
sosy-lab · Dec 9, 2023 · 1f61206 · 1f61206
1 parent 13a86bb
commit 1f61206
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchexec/tools/witnesslint.py b/benchexec/tools/witnesslint.py
@@ -43,7 +43,7 @@ def determine_result(self, run):
         witness_version_match = self.get_value_from_output(
             run.output, "Witness Version-Match"
         )
-        if "witnesslint finished" not in run.output[-1] or exit_code == 7:
+        if len(run.output) == 0 or "witnesslint finished" not in run.output[-1] or exit_code == 7:
             return "EXCEPTION"
         elif exit_code == 1:
             return result.RESULT_ERROR + " (invalid witness syntax)"