FDSE: adjust output result

sosy-lab · Nov 6, 2023 · 783112c · 783112c
1 parent 547a500
commit 783112c
Showing 1 changed file with 6 additions and 13 deletions.
diff --git a/benchexec/tools/fdse.py b/benchexec/tools/fdse.py
@@ -35,16 +35,9 @@ def name(self):
         return "FDSE"
 
     def determine_result(self, run):
-        for line in run.output:
-            if "[BUG]" in line:
-                if "ASSERTION FAIL!" in line:
-                    return result.RESULT_FALSE_REACH
-                elif "Index out-of-bound" in line:
-                    return result.RESULT_FALSE_DEREF
-                elif "overflow" in line:
-                    return result.RESULT_FALSE_OVERFLOW
-                else:
-                    return result.RESULT_ERROR
-            if "Done : End analysis" in line:
-                return result.RESULT_DONE
-        return result.RESULT_UNKNOWN
+        status = result.RESULT_UNKNOWN
+
+        if run.output.any_line_contains("Done : End analysis"):
+            status = result.RESULT_DONE
+
+        return status