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
|
# 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 time
from hypothesis.strategies._internal import SearchStrategy
class _Slow(SearchStrategy):
def do_draw(self, data):
time.sleep(1.01)
data.draw_bytes(2, 2)
SLOW = _Slow()
class HardToShrink(SearchStrategy):
def __init__(self):
super().__init__()
self.__last = None
self.accepted = set()
def do_draw(self, data):
x = bytes(data.draw_integer(0, 255) for _ in range(100))
if x in self.accepted:
return True
ls = self.__last
if ls is None:
if all(x):
self.__last = x
self.accepted.add(x)
return True
else:
return False
diffs = [i for i in range(len(x)) if x[i] != ls[i]]
if len(diffs) == 1:
i = diffs[0]
if x[i] + 1 == ls[i]:
self.__last = x
self.accepted.add(x)
return True
return False
|
