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
|
# 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/.
from unittest import TestCase
import pytest
from hypothesis import find, given, strategies as st
from hypothesis.errors import InvalidArgument
from hypothesis.stateful import RuleBasedStateMachine, rule
def test_cannot_use_without_a_runner():
@given(st.runner())
def f(x):
pass
with pytest.raises(InvalidArgument):
f()
def test_cannot_use_in_find_without_default():
with pytest.raises(InvalidArgument):
find(st.runner(), lambda x: True)
def test_is_default_in_find():
t = object()
assert find(st.runner(default=t), lambda x: True) == t
@given(st.runner(default=1))
def test_is_default_without_self(runner):
assert runner == 1
class TestStuff(TestCase):
@given(st.runner())
def test_runner_is_self(self, runner):
assert runner is self
@given(st.runner(default=3))
def test_runner_is_self_even_with_default(self, runner):
assert runner is self
class RunnerStateMachine(RuleBasedStateMachine):
@rule(runner=st.runner())
def step(self, runner):
assert runner is self
TestState = RunnerStateMachine.TestCase
|
