From d5ec089378a0fef7018d60fc0c58c683f245142a Mon Sep 17 00:00:00 2001 From: Tobias Reiher Date: Mon, 7 Aug 2023 09:18:17 +0200 Subject: [PATCH] Update devutils --- Makefile | 2 +- tests/property/strategies.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index c1bfee407..b427da6dd 100644 --- a/Makefile +++ b/Makefile @@ -15,7 +15,7 @@ SDIST ?= dist/RecordFlux-$(VERSION).tar.gz GENERATED_DIR = generated BUILD_GENERATED_DIR := $(MAKEFILE_DIR)/$(BUILD_DIR)/$(GENERATED_DIR) PYTHON_PACKAGES = bin doc/language_reference/conf.py doc/user_guide/conf.py examples/apps ide language rflx tests tools stubs setup.py -DEVUTILS_HEAD = 7f4319741b23b926aca093467e097005d4a1f642 +DEVUTILS_HEAD = ee74c35d71f4153aa58ab2b7efc8342c97d8ce31 GNATCOLL_HEAD = 25459f07a2e96eb0f28dcfd5b03febcb72930987 LANGKIT_HEAD = 65e2dab678b2606e3b0eada64b7ef4fd8cae91bb ADASAT_HEAD = f948e2271aec51f9313fa41ff3c00230a483f9e8 diff --git a/tests/property/strategies.py b/tests/property/strategies.py index 47dd6b487..a3b439fef 100644 --- a/tests/property/strategies.py +++ b/tests/property/strategies.py @@ -117,7 +117,7 @@ def literal_identifiers(_: abc.Callable[[], object]) -> str: st.integers(min_value=0, max_value=min(2**size - 1, 2**63 - 1)), ), ), - unique_by=(lambda x: x[0], lambda x: x[1]), # type: ignore[no-any-return] + unique_by=(lambda x: x[0], lambda x: x[1]), min_size=1, max_size=2**size, ),