Corrected the tool info for proton

sosy-lab · Nov 2, 2023 · 2b45b89 · 2b45b89
1 parent 1923695
commit 2b45b89
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchexec/tools/proton.py b/benchexec/tools/proton.py
@@ -61,7 +61,7 @@ def determine_result(self, run):
         elif run.exit_code.value == 6 and "Out of memory" in output:
             status = "OUT OF MEMORY"
 
-        elif run.exit_code.value == 6 and "SAT or SMT checker error: out-of-memory or internal-error" in output:
+        elif run.exit_code.value == 6:
             status = "OUT-OF-MEMORY or INTERNAL-ERROR"
 
         else: