Merge pull request #308 from tlsfuzzer/hypothesis-params

tighter bounds for hypothesis parameters

3 files changed, 13 insertions, 13 deletions

diff --git a/src/ecdsa/test_ecdsa.py b/src/ecdsa/test_ecdsa.py
index dbc4a6e..2af527b 100644
--- a/src/ecdsa/test_ecdsa.py
+++ b/src/ecdsa/test_ecdsa.py
@@ -622,12 +622,12 @@ def st_random_gen_key_msg_nonce(draw):
     name = draw(st.sampled_from(sorted(name_gen.keys())))
     note("Generator used: {0}".format(name))
     generator = name_gen[name]
-    order = int(generator.order())
+    order = int(generator.order()) - 1
 
     key = draw(st.integers(min_value=1, max_value=order))
     msg = draw(st.integers(min_value=1, max_value=order))
     nonce = draw(
-        st.integers(min_value=1, max_value=order + 1)
+        st.integers(min_value=1, max_value=order)
         | st.integers(min_value=order >> 1, max_value=order)
     )
     return generator, key, msg, nonce
diff --git a/src/ecdsa/test_ellipticcurve.py b/src/ecdsa/test_ellipticcurve.py
index 85faef4..f46fd9e 100644
--- a/src/ecdsa/test_ellipticcurve.py
+++ b/src/ecdsa/test_ellipticcurve.py
@@ -44,7 +44,7 @@ HYP_SLOW_SETTINGS["max_examples"] = 10
 
 
 @settings(**HYP_SLOW_SETTINGS)
-@given(st.integers(min_value=1, max_value=r + 1))
+@given(st.integers(min_value=1, max_value=r - 1))
 def test_p192_mult_tests(multiple):
     inv_m = inverse_mod(multiple, r)
 
diff --git a/src/ecdsa/test_jacobi.py b/src/ecdsa/test_jacobi.py
index 1f52804..71fb33e 100644
--- a/src/ecdsa/test_jacobi.py
+++ b/src/ecdsa/test_jacobi.py
@@ -202,7 +202,7 @@ class TestJacobi(unittest.TestCase):
     @settings(max_examples=10)
     @given(
         st.integers(
-            min_value=0, max_value=int(generator_brainpoolp160r1.order())
+            min_value=0, max_value=int(generator_brainpoolp160r1.order() - 1)
         )
     )
     def test_multiplications(self, mul):
@@ -217,7 +217,7 @@ class TestJacobi(unittest.TestCase):
     @settings(max_examples=10)
     @given(
         st.integers(
-            min_value=0, max_value=int(generator_brainpoolp160r1.order())
+            min_value=0, max_value=int(generator_brainpoolp160r1.order() - 1)
         )
     )
     @example(0)
@@ -235,10 +235,10 @@ class TestJacobi(unittest.TestCase):
     @settings(max_examples=10)
     @given(
         st.integers(
-            min_value=1, max_value=int(generator_brainpoolp160r1.order())
+            min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1)
         ),
         st.integers(
-            min_value=1, max_value=int(generator_brainpoolp160r1.order())
+            min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1)
         ),
     )
     @example(3, 3)
@@ -254,10 +254,10 @@ class TestJacobi(unittest.TestCase):
     @settings(max_examples=10)
     @given(
         st.integers(
-            min_value=1, max_value=int(generator_brainpoolp160r1.order())
+            min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1)
         ),
         st.integers(
-            min_value=1, max_value=int(generator_brainpoolp160r1.order())
+            min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1)
         ),
         st.integers(min_value=1, max_value=int(curve_brainpoolp160r1.p() - 1)),
     )
@@ -286,10 +286,10 @@ class TestJacobi(unittest.TestCase):
     @settings(max_examples=10)
     @given(
         st.integers(
-            min_value=1, max_value=int(generator_brainpoolp160r1.order())
+            min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1)
         ),
         st.integers(
-            min_value=1, max_value=int(generator_brainpoolp160r1.order())
+            min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1)
         ),
         st.integers(min_value=1, max_value=int(curve_brainpoolp160r1.p() - 1)),
     )
@@ -351,10 +351,10 @@ class TestJacobi(unittest.TestCase):
     @settings(max_examples=14)
     @given(
         st.integers(
-            min_value=1, max_value=int(generator_brainpoolp160r1.order())
+            min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1)
         ),
         st.integers(
-            min_value=1, max_value=int(generator_brainpoolp160r1.order())
+            min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1)
         ),
         st.lists(
             st.integers(