find the files to upload to vcloud again

sosy-lab · Dec 4, 2024 · 6a4760b · 6a4760b
1 parent ed499c4
commit 6a4760b
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/contrib/vcloud/benchmarkclient_executor.py b/contrib/vcloud/benchmarkclient_executor.py
@@ -94,11 +94,13 @@ def init(config, benchmark):
         tool_locator = CustomToolLocator(
             config.tool_directory, TOOL_DIRECTORY_MOUNT_POINT
         )
-    else:
-        tool_locator = benchexec.tooladapter.create_tool_locator(config)
+        executable_for_version = benchmark.tool.executable(tool_locator)
+        benchmark.tool_version = benchmark.tool.version(executable_for_version)
 
+    # The vcloud uses the tool location later to determine which files need to be uploaded
+    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):
         sys.exit(