Test your AI Agents with the all-new Agent to Agent Testing Platform.Learn More

How to use shrink_interesting_examples method in hypothesis

Best Python code snippet using hypothesis

test_engine.py

Source:test_engine.py

...810        runner = ConjectureRunner(811            test, settings=settings(TEST_SETTINGS, report_multiple_bugs=False)812        )813        runner.cached_test_function([255, 255])814        runner.shrink_interesting_examples()815        results = {d.buffer for d in runner.interesting_examples.values()}816    assert len(results.intersection({bytes([0, 1]), bytes([1, 0])})) == 1817def test_does_not_keep_generating_when_multiple_bugs():818    def test(data):819        if data.draw_bits(64) > 0:820            data.draw_bits(64)821            data.mark_interesting()822    with deterministic_PRNG():823        runner = ConjectureRunner(824            test,825            settings=settings(826                TEST_SETTINGS, report_multiple_bugs=False, phases=[Phase.generate]827            ),828        )...

test_float_encoding.py

Source:test_float_encoding.py

...122    assert runner.interesting_examples123    return runner124def minimal_from(start, condition):125    runner = float_runner(start, condition)126    runner.shrink_interesting_examples()127    (v,) = runner.interesting_examples.values()128    result = flt.draw_float(ConjectureData.for_buffer(v.buffer))129    assert condition(result)130    return result131INTERESTING_FLOATS = [0.0, 1.0, 2.0, sys.float_info.max, float("inf"), float("nan")]132@pytest.mark.parametrize(133    ("start", "end"),134    [135        (a, b)136        for a in INTERESTING_FLOATS137        for b in INTERESTING_FLOATS138        if flt.float_to_lex(a) > flt.float_to_lex(b)139    ],140)141def test_can_shrink_downwards(start, end):142    assert minimal_from(start, lambda x: not (x < end)) == end143@pytest.mark.parametrize(144    "f", [1, 2, 4, 8, 10, 16, 32, 64, 100, 128, 256, 500, 512, 1000, 1024]145)146@pytest.mark.parametrize("mul", [1.1, 1.5, 9.99, 10])147def test_shrinks_downwards_to_integers(f, mul):148    g = minimal_from(f * mul, lambda x: x >= f)149    assert g == f150def test_shrink_to_integer_upper_bound():151    assert minimal_from(1.1, lambda x: 1 < x <= 2) == 2152def test_shrink_up_to_one():153    assert minimal_from(0.5, lambda x: 0.5 <= x <= 1.5) == 1154def test_shrink_down_to_half():155    assert minimal_from(0.75, lambda x: 0 < x < 1) == 0.5156def test_does_not_shrink_across_one():157    # This is something of an odd special case. Because of our encoding we158    # prefer all numbers >= 1 to all numbers in 0 < x < 1. For the most part159    # this is the correct thing to do, but there are some low negative exponent160    # cases where we get odd behaviour like this.161    # This test primarily exists to validate that we don't try to subtract one162    # from the starting point and trigger an internal exception.163    assert minimal_from(1.1, lambda x: x == 1.1 or 0 < x < 1) == 1.1164@pytest.mark.parametrize("f", [2.0, 10000000.0])165def test_converts_floats_to_integer_form(f):166    assert flt.is_simple(f)167    buf = int_to_bytes(flt.base_float_to_lex(f), 8)168    runner = float_runner(f, lambda g: g == f)169    runner.shrink_interesting_examples()170    (v,) = runner.interesting_examples.values()...

test_poisoned_trees.py

Source:test_poisoned_trees.py

...66        if len(v) >= size:67            data.mark_interesting()68    runner = ConjectureRunner(test_function, random=random, settings=TEST_SETTINGS)69    runner.generate_new_examples()70    runner.shrink_interesting_examples()71    (data,) = runner.interesting_examples.values()72    assert len(ConjectureData.for_buffer(data.buffer).draw(strat)) == size73    starts = [b.start for b in data.blocks if b.length == 2]74    assert len(starts) % 2 == 075    for i in range(0, len(starts), 2):76        # Now for each leaf position in the tree we try inserting a poison77        # value artificially. Additionally, we add a marker to the end that78        # must be preserved. The marker means that we are not allow to rely on79        # discarding the end of the buffer to get the desired shrink.80        u = starts[i]81        marker = bytes([1, 2, 3, 4])82        def test_function_with_poison(data):83            v = data.draw(strat)84            m = data.draw_bytes(len(marker))85            if POISON in v and m == marker:86                data.mark_interesting()87        runner = ConjectureRunner(88            test_function_with_poison, random=random, settings=TEST_SETTINGS89        )90        runner.cached_test_function(91            data.buffer[:u] + bytes([255]) * 4 + data.buffer[u + 4 :] + marker92        )93        assert runner.interesting_examples94        runner.shrink_interesting_examples()95        (shrunk,) = runner.interesting_examples.values()...

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.