1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
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
|
