Improve provability tests

Ref. #1131
AdaCore · Aug 23, 2022 · 1297ed5 · 1297ed5
1 parent e76bb86
commit 1297ed5
Showing 1 changed file with 2 additions and 22 deletions.
diff --git 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(
                 [
                     (