def test_dependent_block_pairs_is_up_to_shrinking_integers():
# Unit test extracted from a failure in tests/nocover/test_integers.py
distribution = Sampler([4.0, 8.0, 1.0, 1.0, 0.5])
sizes = [8, 16, 32, 64, 128]
@shrinking_from(b"\x03\x01\x00\x00\x00\x00\x00\x01\x00\x02\x01")
def shrinker(data):
size = sizes[distribution.sample(data)]
result = data.draw_bits(size)
sign = (-1) ** (result & 1)
result = (result >> 1) * sign
cap = data.draw_bits(8)
if result >= 32768 and cap == 1:
data.mark_interesting()
shrinker.fixate_shrink_passes(["minimize_individual_blocks"])
assert list(shrinker.shrink_target.buffer) == [1, 1, 0, 1, 0, 0, 1]
