Exercise the property-based tests in ci

Author: dflook

.github/workflows/xtest.yaml

@@ -46,6 +46,36 @@ jobs:
             
             tox -r -e $(echo "${{ matrix.python }}" | tr -d .) -- xtest
 
+  hypo_test:
+    name: Property Based Tests
+    runs-on: self-hosted
+    steps:
+      - name: Clear workspace
+        run: rm -rf "${GITHUB_WORKSPACE:?}/*"
+
+      - name: Checkout
+        uses: actions/[email protected]
+        with:
+          fetch-depth: 1
+          show-progress: false
+          persist-credentials: false
+
+      - name: Set version statically
+        run: |
+          VERSION=0.0.0
+          sed -i "s/setup_requires=.*/version='$VERSION',/; s/use_scm_version=.*//" setup.py
+
+      - name: Run tests
+        uses: ./.github/actions/run-in-container
+        with:
+          image: danielflook/python-minifier-build:python3.14-2025-09-26
+          run: |
+
+            pip3.14 install .
+            pip3.14 install hypothesis pytest
+
+            pytest hypo_test --hypothesis-show-statistics
+
   test-corpus:
     needs: test
     name: Minify Corpus

hypo_test/test_it.py

@@ -3,7 +3,6 @@
 from datetime import timedelta
 
 from hypothesis import HealthCheck, Verbosity, example, given, note, settings
-from hypothesis.strategies import booleans
 
 from python_minifier.ast_annotation import add_parent as add_parent_refs
 from python_minifier.ast_compare import compare_ast