Ejemplos de Lexical.shrink en Python

Ejemplo n.º 1

Archivo: test_conjecture_minimizer.py Proyecto: Wilfred/hypothesis-python

def test_can_sort_bytes_by_reordering_partially_not_cross_stationary_element():
    start = hbytes([5, 3, 0, 2, 1, 4])
    finish = Lexical.shrink(
        start, lambda x: set(x) == set(start) and x[3] == 2,
        random=Random(0),
    )
    assert finish <= hbytes([0, 3, 5, 2, 1, 4])

Ejemplo n.º 2

Archivo: test_conjecture_minimizer.py Proyecto: Wilfred/hypothesis-python

def test_can_sort_bytes_by_reordering_partially():
    start = hbytes([5, 4, 3, 2, 1, 0])
    finish = Lexical.shrink(
        start, lambda x: set(x) == set(start) and x[0] > x[-1],
        random=Random(0),
    )
    assert finish == hbytes([1, 2, 3, 4, 5, 0])

Ejemplo n.º 3

Archivo: test_conjecture_minimizer.py Proyecto: Wilfred/hypothesis-python

def test_can_sort_bytes_by_reordering_partially2():
    start = hbytes([5, 4, 3, 2, 1, 0])
    finish = Lexical.shrink(
        start, lambda x: Counter(x) == Counter(start) and x[0] > x[2],
        random=Random(0), full=True,
    )
    assert finish <= hbytes([1, 2, 0, 3, 4, 5])

Ejemplo n.º 4

Archivo: test_conjecture_minimizer.py Proyecto: oleks/distributed-hypothesis

def test_can_sort_bytes_by_reordering_partially_not_cross_stationary_element():
    start = hbytes([5, 3, 0, 2, 1, 4])
    finish = Lexical.shrink(
        start,
        lambda x: set(x) == set(start) and x[3] == 2,
        random=Random(0),
    )
    assert finish <= hbytes([0, 3, 5, 2, 1, 4])

Ejemplo n.º 5

def test_can_sort_bytes_by_reordering_partially2():
    start = hbytes([5, 4, 3, 2, 1, 0])
    finish = Lexical.shrink(
        start,
        lambda x: Counter(x) == Counter(start) and x[0] > x[2],
        random=Random(0),
    )
    assert finish <= hbytes([1, 2, 0, 3, 4, 5])

Ejemplo n.º 6

Archivo: test_conjecture_minimizer.py Proyecto: oleks/distributed-hypothesis

def test_can_sort_bytes_by_reordering_partially():
    start = hbytes([5, 4, 3, 2, 1, 0])
    finish = Lexical.shrink(
        start,
        lambda x: set(x) == set(start) and x[0] > x[-1],
        random=Random(0),
    )
    assert finish == hbytes([1, 2, 3, 4, 5, 0])

Ejemplo n.º 7

Archivo: test_conjecture_float_encoding.py Proyecto: Wilfred/hypothesis-python

def minimal_from(start, condition):
    buf = int_to_bytes(flt.float_to_lex(start), 8)

    def parse_buf(b):
        return flt.lex_to_float(int_from_bytes(b))

    shrunk = Lexical.shrink(
        buf, lambda b: condition(parse_buf(b)),
        full=True, random=Random(0)
    )
    return parse_buf(shrunk)

Ejemplo n.º 8

def minimal_from(start, condition):
    buf = int_to_bytes(flt.float_to_lex(start), 8)

    def parse_buf(b):
        return flt.lex_to_float(int_from_bytes(b))

    shrunk = Lexical.shrink(buf,
                            lambda b: condition(parse_buf(b)),
                            full=True,
                            random=Random(0))
    return parse_buf(shrunk)

Ejemplo n.º 9

def test_converts_floats_to_integer_form(f):
    assert flt.is_simple(f)

    buf = int_to_bytes(flt.base_float_to_lex(f), 8)

    def parse_buf(b):
        return flt.lex_to_float(int_from_bytes(b))

    shrunk = Lexical.shrink(buf,
                            lambda b: parse_buf(b) == f,
                            full=True,
                            random=Random(0))
    assert shrunk < buf

Ejemplo n.º 10

Archivo: test_conjecture_float_encoding.py Proyecto: Wilfred/hypothesis-python

def test_converts_floats_to_integer_form(f):
    assert flt.is_simple(f)

    buf = int_to_bytes(flt.base_float_to_lex(f), 8)

    def parse_buf(b):
        return flt.lex_to_float(int_from_bytes(b))

    shrunk = Lexical.shrink(
        buf, lambda b: parse_buf(b) == f,
        full=True, random=Random(0)
    )
    assert shrunk < buf

Ejemplo n.º 11

Archivo: test_conjecture_minimizer.py Proyecto: HypothesisWorks/hypothesis-python

def test_shrink_to_smallest():
    assert Lexical.shrink(
        hbytes([255] * 8), lambda x: sum(x) > 10, random=Random(0)
    ) == hbytes([0] * 7 + [11])

Ejemplo n.º 12

Archivo: test_conjecture_minimizer.py Proyecto: oleks/distributed-hypothesis

def test_can_sort_bytes_by_reordering():
    start = hbytes([5, 4, 3, 2, 1, 0])
    finish = Lexical.shrink(start,
                            lambda x: set(x) == set(start),
                            random=Random(0))
    assert finish == hbytes([0, 1, 2, 3, 4, 5])

Ejemplo n.º 13

Archivo: test_conjecture_minimizer.py Proyecto: oleks/distributed-hypothesis

def test_float_hack_fails():
    assert Lexical.shrink(
        hbytes([255] * 8),
        lambda x: x[0] >> 7,
        random=Random(0),
    ) == hbytes([128] + [0] * 7)

Ejemplo n.º 14

Archivo: test_conjecture_minimizer.py Proyecto: oleks/distributed-hypothesis

def test_shrink_to_smallest():
    assert Lexical.shrink(
        hbytes([255] * 8),
        lambda x: sum(x) > 10,
        random=Random(0),
    ) == hbytes([0] * 7 + [11])

Ejemplo n.º 15

Archivo: test_conjecture_minimizer.py Proyecto: oleks/distributed-hypothesis

def test_shrink_to_zero():
    assert Lexical.shrink(hbytes([255] * 8), lambda x: True,
                          random=Random(0)) == hbytes(8)

Ejemplo n.º 16

Archivo: test_conjecture_minimizer.py Proyecto: HypothesisWorks/hypothesis-python

def test_can_sort_bytes_by_reordering():
    start = hbytes([5, 4, 3, 2, 1, 0])
    finish = Lexical.shrink(start, lambda x: set(x) == set(start), random=Random(0))
    assert finish == hbytes([0, 1, 2, 3, 4, 5])

Ejemplo n.º 17

Archivo: test_conjecture_minimizer.py Proyecto: HypothesisWorks/hypothesis-python

def test_float_hack_fails():
    assert Lexical.shrink(
        hbytes([255] * 8), lambda x: x[0] >> 7, random=Random(0)
    ) == hbytes([128] + [0] * 7)

Ejemplo n.º 18

Archivo: test_conjecture_minimizer.py Proyecto: HypothesisWorks/hypothesis-python

def test_shrink_to_zero():
    assert Lexical.shrink(
        hbytes([255] * 8), lambda x: True, random=Random(0)
    ) == hbytes(8)