[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#42465] [PATCH v2 07/10] gnu: Add python-hypothesmith.
From: |
Tanguy Le Carrour |
Subject: |
[bug#42465] [PATCH v2 07/10] gnu: Add python-hypothesmith. |
Date: |
Wed, 22 Jul 2020 14:09:36 +0200 |
* gnu/packages/check.scm (python-hypothesmith): New variable.
---
gnu/packages/check.scm | 23 +++++++++++++++++++++++
1 file changed, 23 insertions(+)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index a3608e4125..817bdb4cd9 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -1840,6 +1840,29 @@ seamlessly into your existing Python unit testing work
flow.")
`(("python2-enum34" ,python2-enum34)
,@(package-propagated-inputs hypothesis))))))
+(define-public python-hypothesmith
+ (package
+ (name "python-hypothesmith")
+ (version "0.1.2")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (pypi-uri "hypothesmith" version))
+ (sha256
+ (base32
+ "09331sspknv459xcyn1k0lx5flqlc6gmnwp9370pfvg4kg1zmss6"))))
+ (build-system python-build-system)
+ (propagated-inputs
+ `(("python-hypothesis" ,python-hypothesis)
+ ("python-lark-parser" ,python-lark-parser)
+ ("python-libcst" ,python-libcst)))
+ (home-page "https://github.com/Zac-HD/hypothesmith")
+ (synopsis "Strategies for generating Python programs.")
+ (description
+ "Hypothesis strategies for generating Python programs, something like
CSmith. This
+is definitely pre-alpha, but if you want to play with it feel free!")
+ (license license:mpl2.0)))
+
(define-public python-lit
(package
(name "python-lit")
--
2.27.0
- [bug#42465] [PATCH 01/10] gnu: python-typing-extension: Update to 3.7.4.2., (continued)
- [bug#42465] [PATCH v2 01/10] gnu: python-typing-extension: Update to 3.7.4.2., Tanguy Le Carrour, 2020/07/22
- [bug#42465] [PATCH v2 04/10] gnu: Add python-typing-inspect., Tanguy Le Carrour, 2020/07/22
- [bug#42465] [PATCH v2 08/10] gnu: Add python-flake8-bugbear., Tanguy Le Carrour, 2020/07/22
- [bug#42465] [PATCH v2 02/10] gnu: python-hypothesis: Update to 5.20.0., Tanguy Le Carrour, 2020/07/22
- [bug#42465] [PATCH v2 03/10] gnu: Add python-mypy-extensions., Tanguy Le Carrour, 2020/07/22
- [bug#42465] [PATCH v2 05/10] gnu: Add python-libcst., Tanguy Le Carrour, 2020/07/22
- [bug#42465] [PATCH v2 09/10] gnu: Add python-flake8-pyi., Tanguy Le Carrour, 2020/07/22
- [bug#42465] [PATCH v2 06/10] gnu: Add python-lark-parser., Tanguy Le Carrour, 2020/07/22
- [bug#42465] [PATCH v2 10/10] gnu: Add python-mypy., Tanguy Le Carrour, 2020/07/22
- [bug#42465] [PATCH v2 07/10] gnu: Add python-hypothesmith.,
Tanguy Le Carrour <=
- [bug#42465] [PATCH v3 1/9] gnu: Add python-mypy-extensions., Tanguy Le Carrour, 2020/07/27
- [bug#42465] [PATCH v3 2/9] gnu: Add python-typing-inspect., Tanguy Le Carrour, 2020/07/27
- [bug#42465] [PATCH v3 3/9] gnu: Add python-hypothesis-5.23., Tanguy Le Carrour, 2020/07/27
- [bug#42465] [PATCH v3 4/9] gnu: Add python-libcst., Tanguy Le Carrour, 2020/07/27
- [bug#42465] [PATCH v3 8/9] gnu: Add python-flake8-pyi., Tanguy Le Carrour, 2020/07/27
- [bug#42465] [PATCH v3 9/9] gnu: Add python-mypy., Tanguy Le Carrour, 2020/07/27
- [bug#42465] [PATCH v3 6/9] gnu: Add python-hypothesmith., Tanguy Le Carrour, 2020/07/27
- [bug#42465] [PATCH v3 5/9] gnu: Add python-lark-parser., Tanguy Le Carrour, 2020/07/27
- [bug#42465] [PATCH v3 7/9] gnu: Add python-flake8-bugbear., Tanguy Le Carrour, 2020/07/27