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
|
# This file is part of Hypothesis, which may be found at
# https://github.com/HypothesisWorks/hypothesis/
#
# Copyright the Hypothesis Authors.
# Individual contributors are listed in AUTHORS.rst and the git log.
#
# This Source Code Form is subject to the terms of the Mozilla Public License,
# v. 2.0. If a copy of the MPL was not distributed with this file, You can
# obtain one at https://mozilla.org/MPL/2.0/.
import re
import pytest
from hypothesis import given, strategies as st
from hypothesis.errors import HypothesisWarning
from hypothesis.stateful import RuleBasedStateMachine, rule, run_state_machine_as_test
def test_error_is_in_finally():
@given(st.data())
def test(d):
try:
d.draw(st.lists(st.integers(), min_size=3, unique=True))
finally:
raise ValueError
with pytest.raises(ValueError) as err:
test()
assert "[0, 1, -1]" in "\n".join(err.value.__notes__)
@given(st.data())
def test_warns_on_bool_strategy(data):
with pytest.warns(
HypothesisWarning,
match=r"bool\(.+\) is always True, did you mean to draw a value\?",
):
if st.booleans(): # 'forgot' to draw from the strategy
pass
def test_adds_note_showing_which_strategy():
class X:
def __init__(self, y: int) -> None:
assert y == 7
@given(...)
def inner(value: X):
assert isinstance(value, X)
rep = re.escape(repr(st.from_type(X)))
with pytest.raises(AssertionError, match=f".*while generating 'value' from {rep}"):
inner()
def test_adds_note_showing_which_strategy_stateful():
strategy = st.integers().map(lambda x: x / 0)
class Machine(RuleBasedStateMachine):
@rule(value=strategy)
def take_a_step(self, value):
assert value
msg = f"while generating 'value' from {strategy!r} for rule take_a_step"
print(msg)
with pytest.raises(ZeroDivisionError, match=f".*{re.escape(msg)}"):
run_state_machine_as_test(Machine)
|
