Prevent pylint errors

When running pylint with Python 3.9, it complained about an unsupported binary operation.
AdaCore · Jan 10, 2023 · 6ae5fe4 · 6ae5fe4
1 parent a080dd6
commit 6ae5fe4
Show file tree

Hide file tree

Showing 2 changed files with 32 additions and 32 deletions.
diff --git a/tests/property/expression_test.py b/tests/property/expression_test.py
@@ -8,37 +8,37 @@
     st.one_of(
         strategies.mathematical_expressions(
             st.one_of(
-                strategies.numbers()
-                | strategies.variables(strategies.identifiers())
-                | strategies.attributes(strategies.identifiers())
+                strategies.numbers(),
+                strategies.variables(strategies.identifiers()),
+                strategies.attributes(strategies.identifiers()),
             )
         ),
         strategies.boolean_relations(
-            st.one_of(strategies.aggregates(strategies.numbers()) | strategies.strings()),
+            st.one_of(strategies.aggregates(strategies.numbers()), strategies.strings()),
         ),
         strategies.boolean_expressions(
             st.one_of(
                 strategies.mathematical_expressions(
                     st.one_of(
-                        strategies.numbers()
-                        | strategies.variables(strategies.identifiers())
-                        | strategies.attributes(strategies.identifiers())
+                        strategies.numbers(),
+                        strategies.variables(strategies.identifiers()),
+                        strategies.attributes(strategies.identifiers()),
                     )
                 )
             )
         ),
         strategies.calls(
             st.one_of(
-                strategies.numbers()
-                | strategies.variables(strategies.identifiers())
-                | strategies.attributes(strategies.identifiers())
+                strategies.numbers(),
+                strategies.variables(strategies.identifiers()),
+                strategies.attributes(strategies.identifiers()),
             )
         ),
         strategies.quantified_expressions(
             st.one_of(
-                strategies.numbers()
-                | strategies.variables(strategies.identifiers())
-                | strategies.attributes(strategies.identifiers())
+                strategies.numbers(),
+                strategies.variables(strategies.identifiers()),
+                strategies.attributes(strategies.identifiers()),
             )
         ),
         strategies.strings(),

diff --git a/tests/property/specification_test.py b/tests/property/specification_test.py
@@ -13,9 +13,9 @@
 @given(
     strategies.mathematical_expressions(
         st.one_of(
-            strategies.numbers()
-            | strategies.variables(strategies.identifiers())
-            | strategies.attributes(strategies.identifiers())
+            strategies.numbers(),
+            strategies.variables(strategies.identifiers()),
+            strategies.attributes(strategies.identifiers()),
         )
     )
 )
@@ -30,9 +30,9 @@ def test_parsing_mathematical_expressions(expression: expr.Expr) -> None:
         st.one_of(
             strategies.mathematical_expressions(
                 st.one_of(
-                    strategies.numbers()
-                    | strategies.variables(strategies.identifiers())
-                    | strategies.attributes(strategies.identifiers())
+                    strategies.numbers(),
+                    strategies.variables(strategies.identifiers()),
+                    strategies.attributes(strategies.identifiers()),
                 )
             )
         )
@@ -48,37 +48,37 @@ def test_parsing_boolean_expressions(expression: expr.Expr) -> None:
     st.one_of(
         strategies.mathematical_expressions(
             st.one_of(
-                strategies.numbers()
-                | strategies.variables(strategies.identifiers())
-                | strategies.attributes(strategies.identifiers())
+                strategies.numbers(),
+                strategies.variables(strategies.identifiers()),
+                strategies.attributes(strategies.identifiers()),
             )
         ),
         strategies.boolean_relations(
-            st.one_of(strategies.aggregates(strategies.numbers()) | strategies.strings()),
+            st.one_of(strategies.aggregates(strategies.numbers()), strategies.strings()),
         ),
         strategies.boolean_expressions(
             st.one_of(
                 strategies.mathematical_expressions(
                     st.one_of(
-                        strategies.numbers()
-                        | strategies.variables(strategies.identifiers())
-                        | strategies.attributes(strategies.identifiers())
+                        strategies.numbers(),
+                        strategies.variables(strategies.identifiers()),
+                        strategies.attributes(strategies.identifiers()),
                     )
                 )
             )
         ),
         strategies.calls(
             st.one_of(
-                strategies.numbers()
-                | strategies.variables(strategies.identifiers())
-                | strategies.attributes(strategies.identifiers())
+                strategies.numbers(),
+                strategies.variables(strategies.identifiers()),
+                strategies.attributes(strategies.identifiers()),
             )
         ),
         strategies.quantified_expressions(
             st.one_of(
-                strategies.numbers()
-                | strategies.variables(strategies.identifiers())
-                | strategies.attributes(strategies.identifiers())
+                strategies.numbers(),
+                strategies.variables(strategies.identifiers()),
+                strategies.attributes(strategies.identifiers()),
             )
         ),
         strategies.strings(),