remove leftover testing code

sosy-lab · Dec 4, 2024 · 329913c · 329913c
1 parent 80bb329
commit 329913c
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/contrib/vcloud/benchmarkclient_executor.py b/contrib/vcloud/benchmarkclient_executor.py
@@ -98,10 +98,7 @@ def init(config, benchmark):
         tool_locator = benchexec.tooladapter.create_tool_locator(config)
 
     benchmark.executable = benchmark.tool.executable(tool_locator)
-    print(f"Executable: {benchmark.executable}")
     benchmark.tool_version = benchmark.tool.version(benchmark.executable)
-    print(f"Tool version: {benchmark.tool_version}")
-    sys.exit(0)
     environment = benchmark.environment()
     if environment.get("keepEnv", None) or environment.get("additionalEnv", None):
         sys.exit(