File tree 1 file changed +14
-8
lines changed
1 file changed +14
-8
lines changed Original file line number Diff line number Diff line change @@ -92,14 +92,20 @@ and :func:`@given <hypothesis.given>`.
92
92
>>> find(lists(integers()), any , settings = settings(verbosity = Verbosity.verbose))
93
93
Trying example []
94
94
Found satisfying example [-1198601713, -67, 116, -29578]
95
- Shrunk example to [113, -29578]
96
- Shrunk example to [-18163]
97
- Shrunk example to [-18163]
98
- Shrunk example to [-18163]
99
- Shrunk example to [-18163]
100
- Shrunk example to [-18163]
101
- Shrunk example to [-70]
102
- Shrunk example to [1]
95
+ Shrunk example to [-67, 116, -29578]
96
+ Shrunk example to [116, -29578]
97
+ Shrunk example to [116, -29578]
98
+ Shrunk example to [-29578]
99
+ Shrunk example to [-115]
100
+ Shrunk example to [-115]
101
+ Shrunk example to [-115]
102
+ Shrunk example to [115]
103
+ Shrunk example to [-57]
104
+ Shrunk example to [29]
105
+ Shrunk example to [-14]
106
+ Shrunk example to [-7]
107
+ Shrunk example to [4]
108
+ Shrunk example to [2]
103
109
Shrunk example to [1]
104
110
[1]
105
111
You can’t perform that action at this time.
0 commit comments