hypothit 0.1.0

下击

基于假设属性测试的命令行界面

$ 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 "<string>", line 10, in <module>
File "<string>", line 6, in inner
File ".../hypothesis/core.py", line 1024, in wrapped_test
    raise the_error_hypothesis_found
File "<string>", line 8, in inner
AssertionError

• 免费软件：MPL v2
• 文档：https://hypothit.readthedocs.io。

历史记录

0.1.0（2019-05-01）

• pypi上的第一个版本。