From 37b3140c9a649a81d0a9117dc0576b371a657821 Mon Sep 17 00:00:00 2001 From: Henrik Wachowitz Date: Wed, 11 Dec 2024 21:42:59 +0100 Subject: [PATCH] remove wrong `self` --- benchexec/containerized_tool.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/benchexec/containerized_tool.py b/benchexec/containerized_tool.py index 0b7bd5a60..1ff61e7f7 100644 --- a/benchexec/containerized_tool.py +++ b/benchexec/containerized_tool.py @@ -68,7 +68,7 @@ def _setup_container(self, tool_module, config): try: self.__doc__, _ = self._pool.apply( _init_container_and_load_tool, - [_init_container, tool_module, self.temp_dir], + [_init_container, tool_module, temp_dir], container_options, ) finally: