Exemplos de integer_range em Python

Exemplo n.º 1

def tree(data, height=None):
    if height is None:
        height = st.integer_range(0, 100)(data)
    if height == 0:
        return st.n_byte_unsigned(8)(data)
    heights = st.integer_range(0, height - 1)
    l = heights(data)
    r = heights(data)
    return (tree.base(data, l), tree.base(data, r))

Exemplo n.º 2

Arquivo: test_example_quality.py Projeto: cfbolz/conjecture

def tree(data, height=None):
    if height is None:
        height = st.integer_range(0, 100)(data)
    if height == 0:
        return st.n_byte_unsigned(8)(data)
    heights = st.integer_range(0, height - 1)
    l = heights(data)
    r = heights(data)
    return (tree.base(data, l), tree.base(data, r))

Exemplo n.º 3

Arquivo: test_example_quality.py Projeto: cfbolz/conjecture

def test_constant_lists_through_flatmap():
    x = find(
        st.integer_range(0, 99).flatmap(lambda x: st.lists(st.just(x))),
        lambda x: sum(x) >= 100
    )
    assert sum(x[:-1]) < 100
    assert len(x) * (x[0] - 1) < 100

Exemplo n.º 4

def test_constant_lists_through_flatmap():
    x = find(
        st.integer_range(0, 99).flatmap(lambda x: st.lists(st.just(x))),
        lambda x: sum(x) >= 100)
    assert sum(x[:-1]) < 100
    assert len(x) * (x[0] - 1) < 100