hypothesis-ros
Hypothesis strategies for ROS node level property based testing.
Installation
❯ pip install git+https://github.com/ros-testing/hypothesis-ros
Usage
❯ pip install ipython
❯ ipython
In [1]: from hypothesis_ros.message_fields import int16
In [2]: int16().example()
Out[2]:-32183
In [3]: int16(min_value=5, max_value=5).example()
Out[3]: 5
Examples
❯ pip install jupyter
❯ cd docs/source/notebooks/
❯ jupyter lab
Documentation
Sphinx documentation (user's guide, API reference)
Build the documentation.
❯ tox -e docs
Open the documentation.
❯ xdg-open ./docs/build/index.html
Interactive documentation (API reference)
❯ ipython
In [1]: from hypothesis_ros import message_fields
In [2]: message_fields?
(module documentation)
In [3]: message_fields.<TAB-replacement>?
(documentation of strategies, etc.)
Metadata
Release files for hypothesis-ros 0.3.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| hypothesis-ros-0.3.0.tar.gz | 13.4 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| hypothesis_ros-0.3.0-py2.py3-none-any.whl | Python 3, Python 2 | none | any | Details |
Total release size: 32.4 kB
Release files / hypothesis-ros-0.3.0.tar.gz
| Download URL | hypothesis-ros-0.3.0.tar.gz |
|---|---|
| Size | 13.4 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
af37e3183306782c41cdf683aecae23ee448d3b3076a75481b8090fdc4cd5eaa
|
|
BLAKE2b-256 checksum How to use checksums |
4313633fa679193a09a415df69d4089492308a9a24c6e6db771e21872da62570
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
Release files / hypothesis_ros-0.3.0-py2.py3-none-any.whl
| Download URL | hypothesis_ros-0.3.0-py2.py3-none-any.whl |
|---|---|
| Size | 19.0 kB |
| Tags | Python 2 Python 3 |
|
SHA-256 checksum How to use checksums |
9d0ea2e8c8edc6513631bc0e9ed766d00ba80bd51ae5fe9fedd98688b5e6a0cf
|
|
BLAKE2b-256 checksum How to use checksums |
6598ed77d1d6490e1ffaec5c5c250d4325d8fe3d75a36ceeb2a4e823fcf6832b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |