1 files changed, 15 insertions(+), 13 deletions(-)

M gnu/packages/python-check.scm

@@ 636,32 636,35 @@ output.")
 (define-public python-crosshair
   (package
     (name "python-crosshair")
-    (version "0.0.86")
+    (version "0.0.101")
     (source
      (origin
        (method url-fetch)
        (uri (pypi-uri "crosshair_tool" version))
        (sha256
-        (base32 "19zrv6gsap0qwn4rrs1wwajg0gkq7ys8qijsilmjrhc73dylgl72"))))
+        (base32 "10vrfrwmxgvfxcqz284xf40cpr3an788bbwsvi3lnd0v467b2vn3"))))
     (build-system pyproject-build-system)
     (arguments
      (list
+      ;; tests: 12229 passed, 12 skipped, 3 xfailed, 84 warnings
       #:test-flags
-      #~(list "--numprocesses" (number->string (parallel-job-count))
+      #~(list "--numprocesses" (number->string (min 8 (parallel-job-count)))
               ;; check_examples_test.py contains failing tests that
               ;; show what happens if a counterexample is found.
               "--ignore=crosshair/examples/check_examples_test.py"
-              "--ignore=crosshair/lsp_server_test.py") ;requires pygls
+              ;; AttributeError: 'ArithRef' object has no attribute 'as_long'
+              "--deselect=crosshair/statespace_test.py::test_model_value_to_python_ArithRef"
+              ;; AssertionError: Got MessageType.CANNOT_CONFIRM instead of
+              ;; MessageType.CONFIRMED (use `pytest -v` to show trace)
+              "--deselect=crosshair/register_contract_test.py::test_register_numpy_randint")
       #:phases
       #~(modify-phases %standard-phases
-          (add-after 'unpack 'fix-dependencies
+          (add-after 'unpack 'relax-requirements
             (lambda _
               (substitute* "setup.py"
-                ;; pygls is only used by crosshair/lsp_server.py.
-                (("pygls>=1.0.0") "")
-                ;; 'sanity-check fails for z3-solver, although it is
-                ;; included in 'propagated-inputs.
-                (("z3-solver>=4.13.0.0") ""))))
+                ;; For some reason Python version is not set properly or can't
+                ;; be identified.
+                ((".*z3-solver.*") ""))))
           (add-before 'check 'set-test-env
             (lambda _
               (setenv "PYTHONHASHSEED" "0")))))) ;tests rely on this value


@@ 672,12 675,11 @@ output.")
            python-numpy
            python-pytest
            python-pytest-xdist
-           python-setuptools
-           python-wheel))
+           python-setuptools))
     (propagated-inputs
      (list python-importlib-metadata
            python-packaging
-           ;; python-pygls
+           python-pygls
            python-typeshed-client
            python-typing-inspect
            python-typing-extensions