Merge pull request #955 from ArpitaDutta/main

Add tool-info module for TracerX-Del and TracerX-WP

benchexec/tools/tracerx-wp.py

@@ -0,0 +1,20 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
+import benchexec.tools.tracerx as tracerx
+
+
+class Tool(tracerx.Tool):
+    """
+    Tool info for TracerX-WP (https://www.comp.nus.edu.sg/~tracerx/).
+    """
+
+    def executable(self, tool_locator):
+        return tool_locator.find_executable("tracerx-wp", subdir="bin")
+
+    def name(self):
+        return "TracerX-WP"

benchexec/tools/tracerx.py

@@ -56,7 +56,7 @@ def cmdline(self, executable, options, task, rlimits):
         return [executable] + options + list(task.input_files_or_identifier)
 
     def name(self):
-        return "Tracer-X"
+        return "TracerX-Del"
 
     def project_url(self):
         return "https://www.comp.nus.edu.sg/~tracerx/"