Set up hypothesis profiles in dev/ci environments

.gitea/workflows/test.yml

@@ -24,11 +24,12 @@ jobs:
         with:
           cache: true
           python-version: ~3.11
+          token: ""
       - name: Install apt dependencies
         run: >-
           sudo apt-get update &&
           sudo apt-get -y install build-essential python3-dev libldap2-dev libsasl2-dev mariadb-client
       - name: Install python dependencies
-        run: pdm install
+        run: pdm sync -d
       - name: Run tests
-        run: pdm run ./manage.py test --parallel auto
+        run: pdm run -v ./manage.py test --parallel auto

.pre-commit-config.yaml

@@ -19,6 +19,11 @@ repos:
       - id: ruff
       - id: ruff-format
 
+  - repo: https://github.com/pdm-project/pdm
+    rev: 2.12.3
+    hooks:
+      - id: pdm-lock-check
+
   # TODO: waiting on django-recurrence 1.12 to be released on PyPi
   # - repo: local
   #   hooks:

cmsmanage/settings/ci.py

@@ -1,4 +1,7 @@
+from hypothesis import settings
+
 from .base import *  # noqa: F403
+from .hypothesis import configure_hypothesis_profiles
 
 # Quick-start development settings - unsuitable for production
 # See https://docs.djangoproject.com/en/3.1/howto/deployment/checklist/
@@ -31,3 +34,5 @@ DATABASES = {
         },
     },
 }
+configure_hypothesis_profiles()
+settings.load_profile("ci")

cmsmanage/settings/dev_base.py

@@ -1,4 +1,9 @@
+import os
+
+from hypothesis import settings
+
 from .base import *  # noqa: F403
+from .hypothesis import configure_hypothesis_profiles
 
 # Quick-start development settings - unsuitable for production
 # See https://docs.djangoproject.com/en/3.1/howto/deployment/checklist/
@@ -13,3 +18,6 @@ INSTALLED_APPS.append("debug_toolbar")  # noqa: F405
 INSTALLED_APPS.append("django_extensions")  # noqa: F405
 
 MIDDLEWARE.insert(0, "debug_toolbar.middleware.DebugToolbarMiddleware")  # noqa: F405
+
+configure_hypothesis_profiles()
+settings.load_profile(os.getenv("HYPOTHESIS_PROFILE", "dev"))

cmsmanage/settings/hypothesis.py

@@ -0,0 +1,7 @@
+from hypothesis import HealthCheck, Verbosity, settings
+
+
+def configure_hypothesis_profiles():
+    settings.register_profile("ci", suppress_health_check=(HealthCheck.too_slow,))
+    settings.register_profile("dev", max_examples=20)
+    settings.register_profile("debug", max_examples=10, verbosity=Verbosity.verbose)

paperwork/tests.py

@@ -1,3 +1,5 @@
+from itertools import chain
+
 from django.contrib.auth import get_user_model
 from django.contrib.auth.models import Permission
 from django.contrib.contenttypes.models import ContentType
@@ -78,29 +80,42 @@ class InstructorOrVendorReportTestCase(PermissionRequiredViewTestCaseMixin, Test
 
 
 @st.composite
-def random_certifications(draw):
-    departments = draw(st.lists(from_model(Department), min_size=1))
-    definitions = draw(
-        st.lists(
+def random_certifications(
+    draw,
+) -> list[Certification]:
+    def certifications(version: CertificationVersion):
+        return st.lists(
             from_model(
-                CertificationDefinition, department=st.sampled_from(departments)
+                Certification,
+                number=st.none(),
+                certification_version=st.just(version),
             ),
-            min_size=1,
+            max_size=10,
         )
+
+    def versions_with_certifications(definition: CertificationDefinition):
+        return st.lists(
+            from_model(CertificationVersion, definition=st.just(definition)).flatmap(
+                certifications
+            ),
+            max_size=2,
         )
-    certification_versions = draw(
-        st.lists(
-            from_model(CertificationVersion, definition=st.sampled_from(definitions)),
-            min_size=1,
-        )
+
+    def definitions_with_versions(department: Department):
+        return st.lists(
+            from_model(CertificationDefinition, department=st.just(department)).flatmap(
+                versions_with_certifications
+            ),
+            max_size=2,
         )
 
     return draw(
         st.lists(
-            from_model(
-                Certification,
-                number=st.none(),
-                certification_version=st.sampled_from(certification_versions),
+            from_model(Department).flatmap(definitions_with_versions),
+            max_size=2,
+        ).map(
+            lambda x: list(
+                chain.from_iterable(chain.from_iterable(chain.from_iterable(x)))
             )
         )
     )
@@ -111,7 +126,7 @@ class CertifiersReportTestCase(PermissionRequiredViewTestCaseMixin, TestCase):
     path = "/paperwork/certifiers"
 
     @given(certifications=random_certifications())
-    def test_certifers_report(self, certifications: list[Certification]) -> None:
+    def test_certifiers_report(self, certifications: list[Certification]) -> None:
         self.client.force_login(self.user_with_permission)
         response = self.client.get(self.path)
         self.assertEqual(response.status_code, 200)