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
|
# 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 random import Random
from hypothesis.internal.conjecture.shrinking import Integer
from tests.common.utils import capture_out
def test_debug_output():
with capture_out() as o:
Integer.shrink(10, lambda x: True, debug=True, random=Random(0))
assert "initial=10" in o.getvalue()
assert "shrinking to 0" in o.getvalue()
def test_includes_name_in_repr_if_set():
assert (
repr(Integer(10, lambda x: True, name="hi there", random=Random(0)))
== "Integer('hi there', initial=10, current=10)"
)
def test_normally_contains_no_space_for_name():
assert (
repr(Integer(10, lambda x: True, random=Random(0)))
== "Integer(initial=10, current=10)"
)
|