From bab344493c0342d335b1eb29725fb97d5e5a381c Mon Sep 17 00:00:00 2001
From: passengerZ <904806153@qq.com>
Date: Mon, 6 Nov 2023 04:08:51 -0800
Subject: [PATCH] adjust output type

---
 benchexec/tools/fdse.py | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/benchexec/tools/fdse.py b/benchexec/tools/fdse.py
index 8d74988e4..81dd8ce62 100755
--- 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