def test_can_get_odd_number_of_bits():
counts = Counter()
for i in range(256):
x = cu.getrandbits(ConjectureData.for_buffer([i]), 3)
assert 0 <= x <= 7
counts[x] += 1
assert len(set(counts.values())) == 1
def test_can_get_odd_number_of_bits():
counts = Counter()
for i in range(256):
x = cu.getrandbits(ConjectureData.for_buffer([i]), 3)
assert 0 <= x <= 7
counts[x] += 1
assert len(set(counts.values())) == 1
def x(data):
if cu.getrandbits(data, 8) >> 7:
data.mark_interesting()
def test_8_bits_just_reads_stream():
for i in range(256):
assert cu.getrandbits(ConjectureData.for_buffer([i]), 8) == i
def test_8_bits_just_reads_stream():
for i in range(256):
assert cu.getrandbits(ConjectureData.for_buffer([i]), 8) == i