Browse Source

Intermediate changes

robot-piglet 7 months ago
parent
commit
62f366fc92

+ 3 - 3
contrib/python/hypothesis/py3/.dist-info/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: hypothesis
-Version: 6.108.0
+Version: 6.108.2
 Summary: A library for property-based testing
 Home-page: https://hypothesis.works
 Author: David R. MacIver and Zac Hatfield-Dodds
@@ -41,7 +41,7 @@ Requires-Dist: exceptiongroup >=1.0.0 ; python_version < "3.11"
 Provides-Extra: all
 Requires-Dist: black >=19.10b0 ; extra == 'all'
 Requires-Dist: click >=7.0 ; extra == 'all'
-Requires-Dist: crosshair-tool >=0.0.59 ; extra == 'all'
+Requires-Dist: crosshair-tool >=0.0.61 ; extra == 'all'
 Requires-Dist: django >=3.2 ; extra == 'all'
 Requires-Dist: dpcontracts >=0.4 ; extra == 'all'
 Requires-Dist: hypothesis-crosshair >=0.0.7 ; extra == 'all'
@@ -64,7 +64,7 @@ Provides-Extra: codemods
 Requires-Dist: libcst >=0.3.16 ; extra == 'codemods'
 Provides-Extra: crosshair
 Requires-Dist: hypothesis-crosshair >=0.0.7 ; extra == 'crosshair'
-Requires-Dist: crosshair-tool >=0.0.59 ; extra == 'crosshair'
+Requires-Dist: crosshair-tool >=0.0.61 ; extra == 'crosshair'
 Provides-Extra: dateutil
 Requires-Dist: python-dateutil >=1.4 ; extra == 'dateutil'
 Provides-Extra: django

+ 5 - 0
contrib/python/hypothesis/py3/hypothesis/control.py

@@ -297,6 +297,11 @@ def target(observation: Union[int, float], *, label: str = "") -> Union[int, flo
             "Calling target() outside of a test is invalid.  "
             "Consider guarding this call with `if currently_in_test_context(): ...`"
         )
+    elif context.data.provider.avoid_realization:
+        # We could in principle realize this in the engine, but it seems more
+        # efficient to have our alternative backend optimize it for us.
+        # See e.g. https://github.com/pschanely/hypothesis-crosshair/issues/3
+        return observation  # pragma: no cover
     verbose_report(f"Saw target({observation!r}, {label=})")
 
     if label in context.data.target_observations:

+ 3 - 4
contrib/python/hypothesis/py3/hypothesis/internal/conjecture/data.py

@@ -2273,10 +2273,9 @@ class ConjectureData:
         #
         # Note that even if we lift this 64 bit restriction in the future, p
         # cannot be 0 (1) when forced is True (False).
-        if forced is True:
-            assert p > 2 ** (-64)
-        if forced is False:
-            assert p < (1 - 2 ** (-64))
+        eps = 2 ** (-64) if isinstance(self.provider, HypothesisProvider) else 0
+        assert (forced is not True) or (0 + eps) < p
+        assert (forced is not False) or p < (1 - eps)
 
         kwargs: BooleanKWargs = self._pooled_kwargs("boolean", {"p": p})
 

+ 1 - 2
contrib/python/hypothesis/py3/hypothesis/vendor/tlds-alpha-by-domain.txt

@@ -1,4 +1,4 @@
-# Version 2024062300, Last Updated Sun Jun 23 07:07:01 2024 UTC
+# Version 2024071300, Last Updated Sat Jul 13 07:07:01 2024 UTC
 AAA
 AARP
 ABB
@@ -1038,7 +1038,6 @@ SG
 SH
 SHANGRILA
 SHARP
-SHAW
 SHELL
 SHIA
 SHIKSHA

+ 1 - 1
contrib/python/hypothesis/py3/hypothesis/version.py

@@ -8,5 +8,5 @@
 # v. 2.0. If a copy of the MPL was not distributed with this file, You can
 # obtain one at https://mozilla.org/MPL/2.0/.
 
-__version_info__ = (6, 108, 0)
+__version_info__ = (6, 108, 2)
 __version__ = ".".join(map(str, __version_info__))

+ 1 - 1
contrib/python/hypothesis/py3/ya.make

@@ -2,7 +2,7 @@
 
 PY3_LIBRARY()
 
-VERSION(6.108.0)
+VERSION(6.108.2)
 
 LICENSE(MPL-2.0)
 

+ 2 - 1
contrib/python/zstandard/py3/.dist-info/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: zstandard
-Version: 0.22.0
+Version: 0.23.0
 Summary: Zstandard bindings for Python
 Home-page: https://github.com/indygreg/python-zstandard
 Author: Gregory Szorc
@@ -16,6 +16,7 @@ Classifier: Programming Language :: Python :: 3.9
 Classifier: Programming Language :: Python :: 3.10
 Classifier: Programming Language :: Python :: 3.11
 Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
 Requires-Python: >=3.8
 License-File: LICENSE
 Requires-Dist: cffi >=1.11 ; platform_python_implementation == "PyPy"

+ 1 - 1
contrib/python/zstandard/py3/c-ext/python-zstandard.h

@@ -31,7 +31,7 @@
 
 /* Remember to change the string in zstandard/__init__.py, rust-ext/src/lib.rs,
    and debian/changelog as well */
-#define PYTHON_ZSTANDARD_VERSION "0.22.0"
+#define PYTHON_ZSTANDARD_VERSION "0.23.0"
 
 typedef enum {
     compressorobj_flush_finish,

+ 1 - 1
contrib/python/zstandard/py3/ya.make

@@ -2,7 +2,7 @@
 
 PY3_LIBRARY()
 
-VERSION(0.22.0)
+VERSION(0.23.0)
 
 LICENSE(BSD-3-Clause)
 

+ 1 - 1
contrib/python/zstandard/py3/zstandard/__init__.py

@@ -80,7 +80,7 @@ else:
     )
 
 # Keep this in sync with python-zstandard.h, rust-ext/src/lib.rs, and debian/changelog.
-__version__ = "0.22.0"
+__version__ = "0.23.0"
 
 _MODE_CLOSED = 0
 _MODE_READ = 1