From c3036c31c8e307df0c1c2ad4b4cc766e4ae50a5c Mon Sep 17 00:00:00 2001
From: Sviatoslav Sydorenko <wk@sydorenko.org.ua>
Date: Wed, 26 Apr 2023 02:36:51 +0200
Subject: [PATCH] =?UTF-8?q?=F0=9F=A7=AA=20Integrate=20Hypothesis=20in=20te?=
 =?UTF-8?q?sts?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 requirements/test.txt |  1 +
 tests/test_quoting.py | 81 +++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 82 insertions(+)

diff --git a/requirements/test.txt b/requirements/test.txt
index bffbe96e4..15b753e39 100644
--- a/requirements/test.txt
+++ b/requirements/test.txt
@@ -1,3 +1,4 @@
+hypothesis >= 6.0
 idna==3.4
 multidict==6.0.4
 pytest==7.4.3
diff --git a/tests/test_quoting.py b/tests/test_quoting.py
index 7ebc0f9b0..6972715b8 100644
--- a/tests/test_quoting.py
+++ b/tests/test_quoting.py
@@ -1,4 +1,6 @@
 import pytest
+from hypothesis import HealthCheck, assume, example, given, note, settings
+from hypothesis import strategies as st
 
 from yarl._quoting import NO_EXTENSIONS
 from yarl._quoting_py import _Quoter as _PyQuoter
@@ -448,3 +450,82 @@ def test_quoter_path_with_plus(quoter):
 def test_unquoter_path_with_plus(unquoter):
     s = "/test/x+y%2Bz/:+%2B/"
     assert "/test/x+y+z/:++/" == unquoter(unsafe="+")(s)
+
+
+@example(
+    # quoter=_PyQuoter,
+    # unquoter=_PyUnquoter,
+    text_input="0",
+    safe="",
+    unsafe="0",
+    protected="",
+    qs=False,
+    requote=False,
+)
+@settings(suppress_health_check=(HealthCheck.function_scoped_fixture,))
+@given(
+    text_input=st.text(),
+    safe=st.text(alphabet=st.characters(max_codepoint=127)),
+    unsafe=st.text(),
+    protected=st.text(alphabet=st.characters(max_codepoint=127)),
+    qs=st.booleans(),
+    requote=st.booleans(),
+)
+def test_quote_unquote_parameter(
+    quoter: _PyQuoter,
+    unquoter: _PyUnquoter,
+    safe: str,
+    unsafe: str,
+    protected: str,
+    qs: bool,
+    requote: bool,
+    text_input: str,
+) -> None:
+    quote = quoter(safe=safe, protected=protected, qs=qs, requote=requote)
+    unquote = unquoter(unsafe=unsafe, qs=qs)
+
+    text_quoted = quote(text_input)
+    assume(qs and all(unsafe_char not in text_quoted for unsafe_char in unsafe))
+    note(f"{text_quoted=}")
+    text_output = unquote(text_quoted)
+    assume(qs or all(unsafe_char not in text_output for unsafe_char in unsafe))
+    # assume(
+    #     qs and
+    #     (unsafe in text_quoted and text_input != text_output) or
+    #     (unsafe not in text_quoted)
+    # )
+
+    assert text_input == text_output
+
+
+if not NO_EXTENSIONS and False:
+    test_quote_unquote_parameter = example(
+        quoter=_PyQuoter,
+        unquoter=_CUnquoter,
+        text_input="0",
+        safe="",
+        unsafe="0",
+        protected="",
+        qs=False,
+        requote=False,
+    )(test_quote_unquote_parameter)
+    test_quote_unquote_parameter = example(
+        quoter=_CQuoter,
+        unquoter=_PyUnquoter,
+        text_input="0",
+        safe="",
+        unsafe="0",
+        protected="",
+        qs=False,
+        requote=False,
+    )(test_quote_unquote_parameter)
+    test_quote_unquote_parameter = example(
+        quoter=_CQuoter,
+        unquoter=_CUnquoter,
+        text_input="0",
+        safe="",
+        unsafe="0",
+        protected="",
+        qs=False,
+        requote=False,
+    )(test_quote_unquote_parameter)