adjust output type

sosy-lab · Nov 6, 2023 · bab3444 · bab3444
1 parent 783112c
commit bab3444
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/benchexec/tools/fdse.py b/benchexec/tools/fdse.py
@@ -35,9 +35,12 @@ def name(self):
         return "FDSE"
 
     def determine_result(self, run):
-        status = result.RESULT_UNKNOWN
+        status = result.RESULT_ERROR
 
-        if run.output.any_line_contains("Done : End analysis"):
-            status = result.RESULT_DONE
+        for line in run.output:
+            if "Done : End analysis" in line:
+                status = result.RESULT_DONE
+            elif "HaltTimer invoked!!!" in line:
+                status = result.RESULT_TIMEOUT
 
         return status