tweak unsound-verified message

HypothesisWorks · Oct 8, 2024 · 6a67838 · 6a67838
1 parent b948562
commit 6a67838
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/hypothesis-python/src/hypothesis/core.py b/hypothesis-python/src/hypothesis/core.py
@@ -1377,7 +1377,7 @@ def _raise_to_user(
             add_note(the_error_hypothesis_found, line)
 
     if verified_by:
-        msg = f"backend={verified_by!r} verified this test passes - please report that as a bug!"
+        msg = f"backend={verified_by!r} claimed to verify this test passes - please send them a bug report!"
         add_note(err, msg)
 
     raise the_error_hypothesis_found

diff --git a/hypothesis-python/tests/conjecture/test_alt_backend.py b/hypothesis-python/tests/conjecture/test_alt_backend.py
@@ -540,7 +540,7 @@ class UnsoundVerifierProvider(ExhaustibleProvider):
 
 @pytest.mark.parametrize("provider", [ExhaustibleProvider, UnsoundVerifierProvider])
 def test_notes_incorrect_verification(provider):
-    msg = "backend='p' verified this test passes - please report that as a bug!"
+    msg = "backend='p' claimed to verify this test passes - please send them a bug report!"
     with temp_register_backend("p", provider):
 
         @given(st.integers())