remove config from mk_args

sosy-lab · Dec 9, 2024 · de905ee · de905ee
1 parent bb2a485
commit de905ee
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/benchexec/containerized_tool.py b/benchexec/containerized_tool.py
@@ -62,7 +62,7 @@ def __init__(self, tool_module, config, initializer):
         try:
             self.__doc__, self.container_id = self._pool.apply(
                 _init_container_and_load_tool,
-                [initializer] + self.mk_args(tool_module, config, temp_dir),
+                [initializer] + self.mk_args(tool_module, temp_dir),
                 self.mk_kwargs(container_options),
             )
         except BaseException as e:
@@ -74,8 +74,8 @@ def __init__(self, tool_module, config, initializer):
             with contextlib.suppress(OSError):
                 os.rmdir(temp_dir)
 
-    def mk_args(self, tool_module, config, tmp_dir):
-        return [tool_module, config, tmp_dir]
+    def mk_args(self, tool_module, tmp_dir):
+        return [tool_module, tmp_dir]
 
     def mk_kwargs(self, container_options):
         return container_options

diff --git a/contrib/vcloud/podman_containerized_tool.py b/contrib/vcloud/podman_containerized_tool.py
@@ -135,7 +135,7 @@ def __init__(self, tool_module, config, image):
 
         super().__init__(tool_module, config, _init_container)
 
-    def mk_args(self, tool_module, config, tmp_dir):
+    def mk_args(self, tool_module, tmp_dir):
         return [tool_module]
 
     def mk_kwargs(self, container_options):

diff --git a/test/tasks/benchmark.xml b/test/tasks/benchmark.xml
@@ -10,7 +10,7 @@ SPDX-License-Identifier: Apache-2.0
 -->
 
 <!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.18//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.18.dtd">
-<benchmark tool="dummy">
+<benchmark tool="locksmith">
   <!-- This file is used to create integration-test files for table-generator
        with the following command:
        benchexec test/tasks/benchmark.xml -n test -o benchexec/tablegenerator/test_integration/results/