remove leftover testing code

sosy-lab · Dec 4, 2024 · 9a476c6 · 9a476c6
1 parent 80bb329
commit 9a476c6
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/contrib/vcloud/benchmarkclient_executor.py b/contrib/vcloud/benchmarkclient_executor.py
@@ -100,8 +100,6 @@ def init(config, benchmark):
     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(