Python Lexical Examples

Example #1

File: test_conjecture_minimizer.py Project: 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])

Example #2

File: test_conjecture_minimizer.py Project: 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])

Example #3

File: test_conjecture_minimizer.py Project: 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])

Example #4

File: test_conjecture_minimizer.py Project: 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])

Example #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])

Example #6

File: test_conjecture_minimizer.py Project: 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])

Example #7

File: test_conjecture_float_encoding.py Project: 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)

Example #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)

Example #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

Example #10

File: test_conjecture_float_encoding.py Project: 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

Example #11

File: test_conjecture_minimizer.py Project: 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])

Example #12

File: test_conjecture_minimizer.py Project: 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])

Example #13

File: test_conjecture_minimizer.py Project: 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)

Example #14

File: test_conjecture_minimizer.py Project: 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])

Example #15

File: test_conjecture_minimizer.py Project: oleks/distributed-hypothesis

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

Example #16

File: test_conjecture_minimizer.py Project: 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])

Example #17

File: test_conjecture_minimizer.py Project: 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)

Example #18

File: test_conjecture_minimizer.py Project: HypothesisWorks/hypothesis-python

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