https://github.com/moreati/hypothit

Command line interface for Hypothesis property based tests
https://github.com/moreati/hypothit

Last synced: 4 months ago
JSON representation

Command line interface for Hypothesis property based tests

• Host: GitHub
• URL: https://github.com/moreati/hypothit
• Owner: moreati
• License: mpl-2.0
• Created: 2019-04-30T06:28:03.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2022-12-26T20:47:21.000Z (almost 3 years ago)
• Last Synced: 2025-06-17T01:54:27.846Z (4 months ago)
• Language: Python
• Size: 19.5 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 3
• Metadata Files:
  • Readme: README.rst
  • Changelog: HISTORY.rst
  • Contributing: CONTRIBUTING.rst
  • License: LICENSE

Awesome Lists containing this project

README

          
========

hypothit

========

|PyPI badge| |Docs badge| |CI badge|

Command line interface for Hypothesis property based tests

::

    $ hypothit trial --given "a=integers()" --assume 'a!=0' "assert a==42"

    from hypothesis import given, assume

    from hypothesis.strategies import integers

    @given(a=integers())

    def inner(a):

        assume(a!=0)

        assert a==42

    inner()

    Falsifying example: inner(a=1)

    Traceback (most recent call last):

    File ".../hypothit/cli.py", line 90, in trial

        exec(src, g)

    File "", line 10, in 

    File "", line 6, in inner

    File ".../hypothesis/core.py", line 1024, in wrapped_test

        raise the_error_hypothesis_found

    File "", line 8, in inner

    AssertionError

* Free software: MPL v2

* Documentation: https://hypothit.readthedocs.io.

Credits

-------

This package was cut with Cookiecutter_, & `audreyr/cookiecutter-pypackage`_.

.. _Cookiecutter: https://github.com/audreyr/cookiecutter

.. _`audreyr/cookiecutter-pypackage`: https://github.com/audreyr/cookiecutter-pypackage

.. |PyPI badge| image:: https://img.shields.io/pypi/v/hypothit.svg

        :target: https://pypi.python.org/pypi/hypothit

.. |CI badge| image:: https://img.shields.io/travis/moreati/hypothit.svg

        :target: https://travis-ci.org/moreati/hypothit

.. |Docs badge| image:: https://readthedocs.org/projects/hypothit/badge/?version=latest

        :target: https://hypothit.readthedocs.io/en/latest/?badge=latest

        :alt: Documentation Status