diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | python-icontract-hypothesis.spec | 138 | ||||
| -rw-r--r-- | sources | 1 |
3 files changed, 140 insertions, 0 deletions
@@ -0,0 +1 @@ +/icontract-hypothesis-1.1.7.tar.gz diff --git a/python-icontract-hypothesis.spec b/python-icontract-hypothesis.spec new file mode 100644 index 0000000..bf9a5e1 --- /dev/null +++ b/python-icontract-hypothesis.spec @@ -0,0 +1,138 @@ +%global _empty_manifest_terminate_build 0 +Name: python-icontract-hypothesis +Version: 1.1.7 +Release: 1 +Summary: Combine contracts and automatic testing. +License: License :: OSI Approved :: MIT License +URL: https://github.com/mristin/icontract-hypothesis +Source0: https://mirrors.nju.edu.cn/pypi/web/packages/8d/8e/958e577be5a3f74e87a83cb85cad3e5cd16d856079eee1daa015c26a751c/icontract-hypothesis-1.1.7.tar.gz +BuildArch: noarch + + +%description +Icontract-hypothesis combines design-by-contract with automatic testing. +It is an integration between +`icontract <https://github.com/Parquery/icontract>`_ +library for design-by-contract and +`Hypothesis <https://github.com/HypothesisWorks/hypothesis>`_ library for +property-based testing. +The result is a powerful combination that allows you to automatically test +your code. Instead of writing manually the Hypothesis search strategies for +a function, icontract-hypothesis infers them based on +the function's precondition. This makes automatic testing as effortless as it +goes. +You can use icontract-hypothesis: +* As a library, to write succinct unit tests, +* As a command-line tool or as a tool integrated in your IDE + (*e.g.*, `icontract-hypothesis-vim <https://github.com/mristin/icontract-hypothesis-vim>`__, + `icontract-hypothesis-pycharm <https://github.com/mristin/icontract-hypothesis-pycharm>`__ and + `icontract-hypothesis-vscode <https://github.com/mristin/icontract-hypothesis-vscode>`__). + This allows you to automatically test functions during the development and + use it in your continuous integration, +* As a ghostwriter utility giving you a starting point for your more elaborate + Hypothesis strategies. +Since the contracts live close to the code, evolving the code also automatically +evolves the tests. + +%package -n python3-icontract-hypothesis +Summary: Combine contracts and automatic testing. +Provides: python-icontract-hypothesis +BuildRequires: python3-devel +BuildRequires: python3-setuptools +BuildRequires: python3-pip +%description -n python3-icontract-hypothesis +Icontract-hypothesis combines design-by-contract with automatic testing. +It is an integration between +`icontract <https://github.com/Parquery/icontract>`_ +library for design-by-contract and +`Hypothesis <https://github.com/HypothesisWorks/hypothesis>`_ library for +property-based testing. +The result is a powerful combination that allows you to automatically test +your code. Instead of writing manually the Hypothesis search strategies for +a function, icontract-hypothesis infers them based on +the function's precondition. This makes automatic testing as effortless as it +goes. +You can use icontract-hypothesis: +* As a library, to write succinct unit tests, +* As a command-line tool or as a tool integrated in your IDE + (*e.g.*, `icontract-hypothesis-vim <https://github.com/mristin/icontract-hypothesis-vim>`__, + `icontract-hypothesis-pycharm <https://github.com/mristin/icontract-hypothesis-pycharm>`__ and + `icontract-hypothesis-vscode <https://github.com/mristin/icontract-hypothesis-vscode>`__). + This allows you to automatically test functions during the development and + use it in your continuous integration, +* As a ghostwriter utility giving you a starting point for your more elaborate + Hypothesis strategies. +Since the contracts live close to the code, evolving the code also automatically +evolves the tests. + +%package help +Summary: Development documents and examples for icontract-hypothesis +Provides: python3-icontract-hypothesis-doc +%description help +Icontract-hypothesis combines design-by-contract with automatic testing. +It is an integration between +`icontract <https://github.com/Parquery/icontract>`_ +library for design-by-contract and +`Hypothesis <https://github.com/HypothesisWorks/hypothesis>`_ library for +property-based testing. +The result is a powerful combination that allows you to automatically test +your code. Instead of writing manually the Hypothesis search strategies for +a function, icontract-hypothesis infers them based on +the function's precondition. This makes automatic testing as effortless as it +goes. +You can use icontract-hypothesis: +* As a library, to write succinct unit tests, +* As a command-line tool or as a tool integrated in your IDE + (*e.g.*, `icontract-hypothesis-vim <https://github.com/mristin/icontract-hypothesis-vim>`__, + `icontract-hypothesis-pycharm <https://github.com/mristin/icontract-hypothesis-pycharm>`__ and + `icontract-hypothesis-vscode <https://github.com/mristin/icontract-hypothesis-vscode>`__). + This allows you to automatically test functions during the development and + use it in your continuous integration, +* As a ghostwriter utility giving you a starting point for your more elaborate + Hypothesis strategies. +Since the contracts live close to the code, evolving the code also automatically +evolves the tests. + +%prep +%autosetup -n icontract-hypothesis-1.1.7 + +%build +%py3_build + +%install +%py3_install +install -d -m755 %{buildroot}/%{_pkgdocdir} +if [ -d doc ]; then cp -arf doc %{buildroot}/%{_pkgdocdir}; fi +if [ -d docs ]; then cp -arf docs %{buildroot}/%{_pkgdocdir}; fi +if [ -d example ]; then cp -arf example %{buildroot}/%{_pkgdocdir}; fi +if [ -d examples ]; then cp -arf examples %{buildroot}/%{_pkgdocdir}; fi +pushd %{buildroot} +if [ -d usr/lib ]; then + find usr/lib -type f -printf "/%h/%f\n" >> filelist.lst +fi +if [ -d usr/lib64 ]; then + find usr/lib64 -type f -printf "/%h/%f\n" >> filelist.lst +fi +if [ -d usr/bin ]; then + find usr/bin -type f -printf "/%h/%f\n" >> filelist.lst +fi +if [ -d usr/sbin ]; then + find usr/sbin -type f -printf "/%h/%f\n" >> filelist.lst +fi +touch doclist.lst +if [ -d usr/share/man ]; then + find usr/share/man -type f -printf "/%h/%f.gz\n" >> doclist.lst +fi +popd +mv %{buildroot}/filelist.lst . +mv %{buildroot}/doclist.lst . + +%files -n python3-icontract-hypothesis -f filelist.lst +%dir %{python3_sitelib}/* + +%files help -f doclist.lst +%{_docdir}/* + +%changelog +* Mon May 29 2023 Python_Bot <Python_Bot@openeuler.org> - 1.1.7-1 +- Package Spec generated @@ -0,0 +1 @@ +a7afaa66d53ba9047225edd3462ec608 icontract-hypothesis-1.1.7.tar.gz |