Merge pull request #1139 from sosy-lab/improve-errors-for-podman

log errors to the user with more clarity

Author: PhilippWendler

contrib/vcloud/podman_containerized_tool.py

@@ -76,34 +76,50 @@ def _init_container(
         "Command to start container: %s",
         shlex.join(map(str, command)),
     )
-    res = subprocess.run(
-        command,
-        stdout=subprocess.PIPE,
-        stderr=subprocess.DEVNULL,
-        stdin=subprocess.DEVNULL,
-        check=True,
-    )
-    container_id = res.stdout.decode().strip()
+    try:
+        res = subprocess.run(
+            command,
+            stdout=subprocess.PIPE,
+            stderr=subprocess.PIPE,
+            stdin=subprocess.DEVNULL,
+            check=True,
+        )
+    except subprocess.CalledProcessError as e:
+        raise BenchExecException(
+            "Creating of the podman container failed:\n" + e.stderr.decode()
+        )
 
-    subprocess.run(
-        ["podman", "init", container_id],
-        stdout=subprocess.DEVNULL,
-        stderr=subprocess.DEVNULL,
-        stdin=subprocess.DEVNULL,
-        check=True,
-    )
+    container_id = res.stdout.decode().strip()
 
-    container_pid = (
+    try:
         subprocess.run(
-            ["podman", "inspect", "--format", "{{.State.Pid}}", container_id],
-            stdout=subprocess.PIPE,
-            stderr=subprocess.DEVNULL,
+            ["podman", "init", container_id],
+            stdout=subprocess.DEVNULL,
+            stderr=subprocess.PIPE,
             stdin=subprocess.DEVNULL,
             check=True,
         )
-        .stdout.decode()
-        .strip()
-    )
+    except subprocess.CalledProcessError as e:
+        raise BenchExecException(
+            "Initializing the podman container failed:\n" + e.stderr.decode()
+        )
+
+    try:
+        container_pid = (
+            subprocess.run(
+                ["podman", "inspect", "--format", "{{.State.Pid}}", container_id],
+                stdout=subprocess.PIPE,
+                stderr=subprocess.PIPE,
+                stdin=subprocess.DEVNULL,
+                check=True,
+            )
+            .stdout.decode()
+            .strip()
+        )
+    except subprocess.CalledProcessError as e:
+        raise BenchExecException(
+            "Inspecting the podman container failed:\n" + e.stderr.decode()
+        )
 
     def join_ns(namespace):
         namespace = f"/proc/{container_pid}/ns/{namespace}"