add additional covering example

HypothesisWorks · Jan 7, 2025 · 956edd2 · 956edd2
1 parent 81a4061
commit 956edd2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/hypothesis-python/tests/cover/test_reproduce_failure.py b/hypothesis-python/tests/cover/test_reproduce_failure.py
@@ -29,9 +29,10 @@
 from hypothesis.internal.conjecture.data import ir_value_equal
 
 from tests.common.utils import capture_out, no_shrink
-from tests.conjecture.common import ir_nodes
+from tests.conjecture.common import ir, ir_nodes
 
 
+@example(ir("0" * 100))  # shorter compressed than not
 @given(st.lists(ir_nodes()))
 def test_encoding_loop(nodes):
     choices = [n.value for n in nodes]