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
|
# 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 pytest
from hypothesis import Phase, example, given, settings, strategies as st
from hypothesis.database import ExampleDatabase, InMemoryExampleDatabase
from hypothesis.errors import InvalidArgument
@example(11)
@settings(phases=(Phase.explicit,))
@given(st.integers())
def test_only_runs_explicit_examples(i):
assert i == 11
@example("hello world")
@settings(phases=(Phase.reuse, Phase.generate, Phase.shrink))
@given(st.booleans())
def test_does_not_use_explicit_examples(i):
assert isinstance(i, bool)
@settings(phases=(Phase.reuse, Phase.shrink), database=InMemoryExampleDatabase())
@given(st.booleans())
def test_this_would_fail_if_you_ran_it(b):
raise AssertionError
@pytest.mark.parametrize(
"arg,expected",
[
(tuple(Phase)[::-1], tuple(Phase)),
([Phase.explicit, Phase.explicit], (Phase.explicit,)),
],
)
def test_sorts_and_dedupes_phases(arg, expected):
assert settings(phases=arg).phases == expected
def test_phases_default_to_all():
assert settings().phases == tuple(Phase)
def test_does_not_reuse_saved_examples_if_reuse_not_in_phases():
class BadDatabase(ExampleDatabase):
def save(self, key, value):
pass
def delete(self, key, value):
pass
def fetch(self, key):
raise ValueError
def close(self):
pass
@settings(database=BadDatabase(), phases=(Phase.generate,))
@given(st.integers())
def test_usage(i):
pass
test_usage()
def test_will_save_when_reuse_not_in_phases():
database = InMemoryExampleDatabase()
assert not database.data
@settings(database=database, phases=(Phase.generate,))
@given(st.integers())
def test_usage(i):
raise ValueError
with pytest.raises(ValueError):
test_usage()
(saved,) = (v for k, v in database.data.items() if b"pareto" not in k)
assert len(saved) == 1
def test_rejects_non_phases():
with pytest.raises(InvalidArgument):
settings(phases=["cabbage"])
|
