blob: d755dcf5958818dfdba90057538831cab84c0adf (
plain)
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
|
from hypothesis import given
from hypothesis.strategies import integers, text
from actinide.ports import *
@given(text(), integers(min_value=1, max_value=2**32 - 1))
def test_read(input, n):
port = string_to_input_port(input)
output = read_port(port, n)
assert input.startswith(output)
assert (len(output) == 0 and len(input) == 0) != (0 < len(output) <= n)
assert output + read_port_fully(port) == input
@given(text(), integers(min_value=1, max_value=2**32 - 1))
def test_peek(input, n):
port = string_to_input_port(input)
output = peek_port(port, n)
assert input.startswith(output)
assert (len(output) == 0 and len(input) == 0) != (0 < len(output) <= n)
assert read_port_fully(port) == input
@given(text(), integers(min_value=1, max_value=2**32 - 1))
def test_read_fully(input, n):
port = string_to_input_port(input)
output = read_port_fully(port)
assert output == input
|
