From c7cd5d1932831fecd7cfff3f65aa793535ec84f1 Mon Sep 17 00:00:00 2001
From: passengerZ <904806153@qq.com>
Date: Tue, 31 Oct 2023 23:17:17 -0700
Subject: [PATCH] FDSE: refactor tool info module

---
 benchexec/tools/fdse.py | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/benchexec/tools/fdse.py b/benchexec/tools/fdse.py
index 3d9b1278a..5ab10fc35 100755
--- a/benchexec/tools/fdse.py
+++ b/benchexec/tools/fdse.py
@@ -5,14 +5,14 @@
 #
 # SPDX-License-Identifier: Apache-2.0
 
-import benchexec.result as result
 import benchexec.tools.template
-import benchexec.model
-from benchexec.tools.sv_benchmarks_util import get_data_model_from_task, ILP32, LP64
+import benchexec.result as result
+
 
 class Tool(benchexec.tools.template.BaseTool2):
     """
-    Tool info for FDSE (https://github.com/zbchen/FDSE).
+    Tool info for FDSE.
+    https://github.com/zbchen/FDSE
     """
 
     def executable(self, tool_locator):
@@ -32,10 +32,6 @@ def cmdline(self, executable, options, task, rlimits):
             new_option += [f"--property-file={task.property_file}"]
         if rlimits.cputime:
             new_option += [f"-mt={rlimits.cputime}"]
-        data_model_param = get_data_model_from_task(task, {ILP32: "32", LP64: "64"})
-
-        if data_model_param and "--arch" not in options:
-            new_option += ["--arch=" + data_model_param]
 
         new_option += [f"-sf={task.single_input_file}"]
         return [executable] + new_option + options