From 1297ed5d66b5e289364ee55f1177d23700595c42 Mon Sep 17 00:00:00 2001
From: Tobias Reiher <reiher@adacore.com>
Date: Thu, 18 Aug 2022 10:30:58 +0200
Subject: [PATCH] Improve provability tests

Ref. #1131
---
 tests/utils.py | 24 ++----------------------
 1 file changed, 2 insertions(+), 22 deletions(-)

diff --git a/tests/utils.py b/tests/utils.py
index f752a83c4..9b5545383 100644
--- a/tests/utils.py
+++ b/tests/utils.py
@@ -216,8 +216,8 @@ def run(command: Sequence[str]) -> None:
     gnatprove = ["gnatprove", "-Ptest"]
 
     if units:
-        for unit in units:
-            run([*gnatprove, "-u", unit])
+        args = [arg for unit in units for arg in ["-u", unit]]
+        run([*gnatprove, *args])
     else:
         run(gnatprove)
 
@@ -494,26 +494,6 @@ def session_main(
             ),
         ],
         [
-            ada.IfStatement(
-                [
-                    (
-                        ada.Equal(ada.Variable("Size"), ada.Number(0)),
-                        [
-                            ada.CallStatement(
-                                "Ada.Text_IO.Put_Line",
-                                [
-                                    ada.Concatenation(
-                                        ada.String("Read "),
-                                        ada.Image("Chan"),
-                                        ada.String(": read buffer size is 0"),
-                                    )
-                                ],
-                            ),
-                            ada.ReturnStatement(),
-                        ],
-                    ),
-                ]
-            ),
             ada.IfStatement(
                 [
                     (