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
|
# 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 collections import Counter
import pytest
from hypothesis import given, settings
from hypothesis.strategies._internal import SearchStrategy
from tests.common.utils import Why, xfail_on_crosshair
class Blocks(SearchStrategy):
def __init__(self, n):
super().__init__()
self.n = n
def do_draw(self, data):
return data.draw_bytes(self.n, self.n)
@xfail_on_crosshair(Why.symbolic_outside_context)
@pytest.mark.parametrize("n", range(1, 5))
def test_does_not_duplicate_blocks(n):
counts = Counter()
@given(Blocks(n))
@settings(database=None)
def test(b):
counts[b] += 1
test()
assert set(counts.values()) == {1}
@xfail_on_crosshair(Why.other, strict=False) # CrosshairInternal for n>0
@pytest.mark.parametrize("n", range(1, 5))
def test_mostly_does_not_duplicate_blocks_even_when_failing(n):
counts = Counter()
@settings(database=None)
@given(Blocks(n))
def test(b):
counts[b] += 1
if len(counts) > 3:
raise ValueError
try:
test()
except ValueError:
pass
# There are two circumstances in which a duplicate is allowed: We replay
# the failing test once to check for flakiness, and then we replay the
# fully minimized failing test at the end to display the error. The
# complication comes from the fact that these may or may not be the same
# test case, so we can see either two test cases each run twice or one
# test case which has been run three times.
assert set(counts.values()) in ({1, 2}, {1, 3})
assert len([k for k, v in counts.items() if v > 1]) <= 2
|
