diff options
| -rw-r--r-- | gnu/packages/python-check.scm | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm index da92c7a4d1..7245ef88a0 100644 --- a/gnu/packages/python-check.scm +++ b/gnu/packages/python-check.scm @@ -643,6 +643,70 @@ counterexamples for you.") @command{behave}.") (license license:expat))) +(define-public python-deal + (package + (name "python-deal") + (version "4.24.5") + (source + (origin + (method url-fetch) + (uri (pypi-uri "deal" version)) + (sha256 + (base32 "0a2b8s8fmacv56lhrqaif0rbgrmfp0b36m5bvhly89aj5d9qvac1")))) + (build-system pyproject-build-system) + (arguments + (list + ;; tests: 668 passed, 194 skipped, 12 deselected + #:test-flags + ;; Network access is required + #~(list "--deselect=tests/test_imports.py::test_smoke_has" + #$@(map (lambda (test) (string-append "--deselect=" + "tests/test_runtime/" + "test_offline.py::" + test)) + (list "test_raises_exception" + "test_raises_specified_exception" + "test_allow_network" + "test_decorating_async_function" + "test_decorating_generator")) + ;; TypeError: MaxRetryError.__init__() missing 2 required + ;; positional arguments: 'pool' and 'url' + "--deselect=tests/test_runtime/test_pure.py::test_pure_offline" + ;; TypeError: MaxRetryError.__init__() missing 2 required + ;; positional arguments: 'pool' and 'url' + #$@(map (lambda (test) (string-append "--deselect=" + "tests/test_runtime/" + "test_raises.py::" + test)) + (list "test_raises_doesnt_override_another_contract" + "test_raises_doesnt_override_another_contract_async" + "test_raises_generator")) + ;; AttributeError: 'NoneType' object has no attribute + ;; 'TypeCheckError' + "--deselect=tests/test_testing.py::test_return_type_checks" + "--deselect=tests/test_testing.py::test_disable_type_checks") + #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'fix-pytest-config + (lambda _ + (substitute* "pyproject.toml" + ((".*--cov.*") ""))))))) + (native-inputs + (list python-flit-core + python-pytest + python-docstring-parser + python-urllib3)) + (home-page "https://github.com/life4/deal") + (synopsis "Design by contract for Python") + (description + "This package provides a Python library for +@url{https://en.wikipedia.org/wiki/Design_by_contract, design by contract} +(DbC) and checking values, exceptions, and side-effects. In a nutshell, deal +implements functionality to write bug-free code. By adding a few decorators +to the code, providing free tests, static analysis, formal verification, and +much more.") + (license license:expat))) + (define-public python-ddt (package (name "python-ddt") |