add nasty strings shrink test

tybug · tybug · commit 51e3256c3758 · 2025-03-09T13:44:26.000-04:00
diff --git a/hypothesis-python/tests/quality/test_shrink_quality.py b/hypothesis-python/tests/quality/test_shrink_quality.py
@@ -526,3 +526,11 @@ def test_minimize_duplicated_characters_within_a_choice():
         )
         == "0001"
     )
+
+
+def test_nasty_string_shrinks():
+    # failures found via NASTY_STRINGS should shrink like normal
+    assert (
+        minimal(st.text(), lambda s: "𝕿𝖍𝖊" in s, settings=settings(max_examples=10000))
+        == "𝕿𝖍𝖊"
+    )

Original file line number	Diff line number	Diff line change
`@@ -526,3 +526,11 @@ def test_minimize_duplicated_characters_within_a_choice():`
`526`	`526`	`)`
`527`	`527`	`== "0001"`
`528`	`528`	`)`
	`529`	`+`
	`530`	`+`
	`531`	`+def test_nasty_string_shrinks():`
	`532`	`+ # failures found via NASTY_STRINGS should shrink like normal`
	`533`	`+ assert (`
	`534`	`+ minimal(st.text(), lambda s: "𝕿𝖍𝖊" in s, settings=settings(max_examples=10000))`
	`535`	`+ == "𝕿𝖍𝖊"`
	`536`	`+ )`