hypothesis 6.135.17__py3-none-any.whl → 6.135.19__py3-none-any.whl

hypothesis/core.py

@@ -140,6 +140,7 @@ from hypothesis.strategies._internal.strategies import (
     SearchStrategy,
     check_strategy,
 )
+from hypothesis.utils.threading import ThreadLocal
 from hypothesis.vendor.pretty import RepresentationPrinter
 from hypothesis.version import __version__
 
@@ -149,7 +150,11 @@ TestFunc = TypeVar("TestFunc", bound=Callable)
 running_under_pytest = False
 pytest_shows_exceptiongroups = True
 global_force_seed = None
-_hypothesis_global_random = None
+# `threadlocal` stores "engine-global" constants, which are global relative to a
+# ConjectureRunner instance (roughly speaking). Since only one conjecture runner
+# instance can be active per thread, making engine constants thread-local prevents
+# the ConjectureRunner instances of concurrent threads from treading on each other.
+threadlocal = ThreadLocal(_hypothesis_global_random=None)
 
 
 @dataclass
@@ -703,10 +708,9 @@ def get_random_for_wrapped_test(test, wrapped_test):
     elif global_force_seed is not None:
         return Random(global_force_seed)
     else:
-        global _hypothesis_global_random
-        if _hypothesis_global_random is None:  # pragma: no cover
-            _hypothesis_global_random = Random()
-        seed = _hypothesis_global_random.getrandbits(128)
+        if threadlocal._hypothesis_global_random is None:  # pragma: no cover
+            threadlocal._hypothesis_global_random = Random()
+        seed = threadlocal._hypothesis_global_random.getrandbits(128)
         wrapped_test._hypothesis_internal_use_generated_seed = seed
         return Random(seed)
 

hypothesis/internal/entropy.py

@@ -195,9 +195,11 @@ def deterministic_PRNG(seed: int = 0) -> Generator[None, None, None]:
     bad idea in principle, and breaks all kinds of independence assumptions
     in practice.
     """
-    if hypothesis.core._hypothesis_global_random is None:  # pragma: no cover
-        hypothesis.core._hypothesis_global_random = random.Random()
-        register_random(hypothesis.core._hypothesis_global_random)
+    if (
+        hypothesis.core.threadlocal._hypothesis_global_random is None
+    ):  # pragma: no cover
+        hypothesis.core.threadlocal._hypothesis_global_random = random.Random()
+        register_random(hypothesis.core.threadlocal._hypothesis_global_random)
 
     seed_all, restore_all = get_seeder_and_restorer(seed)
     seed_all()

hypothesis/internal/reflection.py

@@ -330,9 +330,13 @@ def _extract_lambda_source(f):
     source = LINE_CONTINUATION.sub(" ", source)
     source = WHITESPACE.sub(" ", source)
     source = source.strip()
-    if "lambda" not in source and sys.platform == "emscripten":  # pragma: no cover
-        return if_confused  # work around Pyodide bug in inspect.getsource()
-    assert "lambda" in source, source
+    if "lambda" not in source:  # pragma: no cover
+        # If a user starts a hypothesis process, then edits their code, the lines
+        # in the parsed source code might not match the live __code__ objects.
+        #
+        # (and on sys.platform == "emscripten", this can happen regardless
+        # due to a pyodide bug in inspect.getsource()).
+        return if_confused
 
     tree = None
 

hypothesis/utils/threading.py

@@ -0,0 +1,44 @@
+# This file is part of Hypothesis, which may be found at
+# https://github.com/HypothesisWorks/hypothesis/
+#
+# Copyright the Hypothesis Authors.
+# Individual contributors are listed in AUTHORS.rst and the git log.
+#
+# This Source Code Form is subject to the terms of the Mozilla Public License,
+# 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/.
+
+import threading
+from typing import Any
+
+
+class ThreadLocal:
+    """
+    Manages thread-local state. ThreadLocal forwards getattr and setattr to a
+    threading.local() instance. The passed kwargs defines the available attributes
+    on the threadlocal and their default values.
+
+    The only supported names to geattr and setattr are the keys of the passed kwargs.
+    """
+
+    def __init__(self, **kwargs: Any) -> None:
+        self.__initialized = False
+        self.__kwargs = kwargs
+        self.__threadlocal = threading.local()
+        self.__initialized = True
+
+    def __getattr__(self, name: str) -> Any:
+        if name not in self.__kwargs:
+            raise AttributeError(f"No attribute {name}")
+        if not hasattr(self.__threadlocal, name):
+            setattr(self.__threadlocal, name, self.__kwargs[name])
+        return getattr(self.__threadlocal, name)
+
+    def __setattr__(self, name: str, value: Any) -> None:
+        # disable attribute-forwarding while initializing
+        if "_ThreadLocal__initialized" not in self.__dict__ or not self.__initialized:
+            super().__setattr__(name, value)
+        else:
+            if name not in self.__kwargs:
+                raise AttributeError(f"No attribute {name}")
+            setattr(self.__threadlocal, name, value)

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, 135, 17)
+__version_info__ = (6, 135, 19)
 __version__ = ".".join(map(str, __version_info__))

{hypothesis-6.135.17.dist-info → hypothesis-6.135.19.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: hypothesis
-Version: 6.135.17
+Version: 6.135.19
 Summary: A library for property-based testing
 Author-email: "David R. MacIver and Zac Hatfield-Dodds" <david@drmaciver.com>
 License-Expression: MPL-2.0

{hypothesis-6.135.17.dist-info → hypothesis-6.135.19.dist-info}/RECORD

@@ -5,7 +5,7 @@ hypothesis/__init__.py,sha256=-l2jKA8BwEWYTJoebvxmhJjA3M_K9qsMRu5CCNVCDFs,1624
 hypothesis/_settings.py,sha256=FGEckgd43ifGBrGcP8pN0YiVu74ZZl2IqghgUZBPUPI,39049
 hypothesis/configuration.py,sha256=ruHxaoUFm9_gjyFhloszHF8wt-_yW8FQtWfMXFLwdzc,4341
 hypothesis/control.py,sha256=6zyn0hDDOt5FugCpD2vw1UJFn3uYwd7lpYqMLoHpOgQ,12625
-hypothesis/core.py,sha256=3vGF9T0qx2XQHsDsJbmYh3JD4u_emJs881pvT36bVyY,92644
+hypothesis/core.py,sha256=G-5p82IP8hPK6tUT3ld8l87v3kb3mVylfg2nhkXOGvU,93044
 hypothesis/database.py,sha256=qbiow_zUTUVUzvUa0OlCmkvrBRTyGxA7cTscIn6q_B0,47299
 hypothesis/entry_points.py,sha256=aY9iTAiu1GaLljqqXFcMBgipZQ60RBOwwvPVmEr1lQE,1440
 hypothesis/errors.py,sha256=fci2Xe3kUIEBZ92361vot2f7IRjtfEn1aI1Bdf8vfRU,10048
@@ -14,7 +14,7 @@ hypothesis/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 hypothesis/reporting.py,sha256=f-jhl1JfAi5_tG8dsUd2qDjGcPdvxEzfF6hXmpTFQ1g,1761
 hypothesis/stateful.py,sha256=33U0FtVuRnY5EzIiCL50SHAT6ZPe1n2pbaohkxTF6gc,42955
 hypothesis/statistics.py,sha256=kZ5mc0fAg7gnSO6EmDo82fyz8DYhIiJ_mHe7srxOeQ0,5438
-hypothesis/version.py,sha256=MatNJOo93xvc_T0nUt6o1xfqnrZ6_26sZzWD3kCE0x0,499
+hypothesis/version.py,sha256=S3xcAe4gNNcLo3Zygfy6li9vXZWLSfIvbT1nfuoKQXs,499
 hypothesis/extra/__init__.py,sha256=gx4ENVDkrzBxy5Lv3Iyfs3tvMGdWMbiHfi95B7t61CY,415
 hypothesis/extra/_array_helpers.py,sha256=PLmFckBfQpzQ4Q3dFJQqMmrbm7Qdvqxf1t9LHDCuSp0,27627
 hypothesis/extra/_patching.py,sha256=A5s5EAf81itr--w4SAFyzuecSZm4eT397jM7BvbnQXU,12385
@@ -42,14 +42,14 @@ hypothesis/internal/compat.py,sha256=CexhnEVndODX3E-iJmBzt_svqLmADF_6vWkd7lXLRQI
 hypothesis/internal/constants_ast.py,sha256=VcItL6O6LbNd-NpunBuonKE9rLNVVxNlOfTDY8Lqci0,10189
 hypothesis/internal/coverage.py,sha256=u2ALnaYgwd2jSkZkA5aQYA1uMnk7gwaasMJbq_l3iIg,3380
 hypothesis/internal/detection.py,sha256=v_zf0GYsnfJKQMNw78qYv61Dh-YaXXfgqKpVIOsBvfw,1228
-hypothesis/internal/entropy.py,sha256=wgNeddIM0I3SD1yydz12Lsop6Di5vsle4e9u5fWAxIs,8014
+hypothesis/internal/entropy.py,sha256=Bbjwg3TEGBt4i3gdcDUItBuqNJqDoXsXy2AIFuIcBwQ,8066
 hypothesis/internal/escalation.py,sha256=z2WOTh1MRRT_3OhwX3kEU4EW_oAWDPHFW2S4ynoh5G0,6805
 hypothesis/internal/filtering.py,sha256=L4zxZmeMzvg-y3LUn-6zJ149pbENcixNUYfCG8iYrhg,13814
 hypothesis/internal/floats.py,sha256=0roRf0uHc-2sslppMGoFd--QFCeoO9PcdsM0ltgcQUc,7195
 hypothesis/internal/healthcheck.py,sha256=JbCvnqtnulVne3egNMWY8koRqeKqhB8P0Wm0jn34As4,1130
 hypothesis/internal/intervalsets.py,sha256=hlg3wQ5vYYbyEpQe8g_3MxwHSJ1wzS3_ccma259jE5E,11952
 hypothesis/internal/observability.py,sha256=X2w1_CfpLZoSHGGHVRBEhxEpkjCTbie_Uyz5x4B5K_M,14291
-hypothesis/internal/reflection.py,sha256=fjhHxU5AR3h4u5au6jCCSIPHHVTi7sk553TZT9FgY5k,25248
+hypothesis/internal/reflection.py,sha256=FvfsIXKIlVoG3w_l26E55Y59hg0mqXyrsbiaIkfditM,25429
 hypothesis/internal/scrutineer.py,sha256=OtkCbUI8XIsVdOzo5oU_4vfINCggNNM-DjrLNOfYIOQ,11531
 hypothesis/internal/validation.py,sha256=jLs1GGf9Jf5Qp_g8JRZR8VGcV_ICw9wXsWIN5fb1WA8,4168
 hypothesis/internal/conjecture/__init__.py,sha256=gx4ENVDkrzBxy5Lv3Iyfs3tvMGdWMbiHfi95B7t61CY,415
@@ -102,12 +102,13 @@ hypothesis/utils/__init__.py,sha256=OKsQ90RrxP9FV66bIPVssiyUCrxloT--0ejboL-lbLM,
 hypothesis/utils/conventions.py,sha256=qSoaFgYarQZ7aTXFeRwK-CZEKVQGIED_nTVoFjGJpZc,701
 hypothesis/utils/dynamicvariables.py,sha256=bhNCs8UU84ZUtsqd4SDzGbsnhk5qWqoIpHsa8H_463o,1144
 hypothesis/utils/terminal.py,sha256=IxGYDGaE4R3b_vMfz5buWbN18XH5qVP4IxqAgNAU5as,1406
+hypothesis/utils/threading.py,sha256=i5xB_OJJyCvaLb_mhxXgIqXfweMnNzeYExhCO93NV-c,1711
 hypothesis/vendor/__init__.py,sha256=gx4ENVDkrzBxy5Lv3Iyfs3tvMGdWMbiHfi95B7t61CY,415
 hypothesis/vendor/pretty.py,sha256=WEZC-UV-QQgCjUf2Iz1WWaWnbgT7Hc3s-GWEVxq-Qz0,36114
 hypothesis/vendor/tlds-alpha-by-domain.txt,sha256=W9hYvpu2BMmNgE-SfPp8-GTzEVjw0HJUviqlvHwpZu8,9588
-hypothesis-6.135.17.dist-info/licenses/LICENSE.txt,sha256=rIkDe6xjVQZE3OjPMsZ2Xl-rncGhzpS4n4qAXzQaZ1A,17141
-hypothesis-6.135.17.dist-info/METADATA,sha256=6zaC1bIoiwHzPdxsRo5v7cjRKrh8hkcZ-qkicY0BeBA,5638
-hypothesis-6.135.17.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
-hypothesis-6.135.17.dist-info/entry_points.txt,sha256=JDoUs9w1bYme7aG_eJ1cCtstRTWD71BzG8iRi-G2eHE,113
-hypothesis-6.135.17.dist-info/top_level.txt,sha256=ReGreaueiJ4d1I2kEiig_CLeA0sD4QCQ4qk_8kH1oDc,81
-hypothesis-6.135.17.dist-info/RECORD,,
+hypothesis-6.135.19.dist-info/licenses/LICENSE.txt,sha256=rIkDe6xjVQZE3OjPMsZ2Xl-rncGhzpS4n4qAXzQaZ1A,17141
+hypothesis-6.135.19.dist-info/METADATA,sha256=QPlfCg_EhB8QJdBDWhixyCRJCc2Ob2aSI9W_U7RwwQM,5638
+hypothesis-6.135.19.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
+hypothesis-6.135.19.dist-info/entry_points.txt,sha256=JDoUs9w1bYme7aG_eJ1cCtstRTWD71BzG8iRi-G2eHE,113
+hypothesis-6.135.19.dist-info/top_level.txt,sha256=ReGreaueiJ4d1I2kEiig_CLeA0sD4QCQ4qk_8kH1oDc,81
+hypothesis-6.135.19.dist-info/RECORD,,