cd into the tool directory in case tools makes calls relative to itself

sosy-lab · Dec 4, 2024 · dab9a0d · dab9a0d
1 parent 6252252
commit dab9a0d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/contrib/vcloud/benchmarkclient_executor.py b/contrib/vcloud/benchmarkclient_executor.py
@@ -96,7 +96,6 @@ def init(config, benchmark):
         tool_locator = benchexec.tooladapter.create_tool_locator(config)
 
     benchmark.executable = benchmark.tool.executable(tool_locator)
-
     benchmark.tool_version = benchmark.tool.version(benchmark.executable)
     environment = benchmark.environment()
     if environment.get("keepEnv", None) or environment.get("additionalEnv", None):

diff --git a/contrib/vcloud/podman_containerized_tool.py b/contrib/vcloud/podman_containerized_tool.py
@@ -244,7 +244,7 @@ def _init_container(
                     "Failed to join namespace %s: %s", namespace, os.strerror(e.errno)
                 )
 
-        os.chdir("/mnt")
+        os.chdir(TOOL_DIRECTORY_MOUNT_POINT)
         return container_id
 
     except OSError as e: