Merge pull request #4068 from tybug/truncate-novel-prefix

Truncate novel prefixes

Author: Zac-HD

hypothesis-python/RELEASE.rst

@@ -0,0 +1,3 @@
+RELEASE_TYPE: patch
+
+This patch removes an assertion which was in fact possible in rare circumstances involving a small number of very large draws.

hypothesis-python/src/hypothesis/internal/conjecture/engine.py

@@ -999,7 +999,10 @@ def generate_new_examples(self) -> None:
 
             self._current_phase = "generate"
             prefix = self.generate_novel_prefix()
-            assert len(prefix) <= BUFFER_SIZE
+            # it is possible, if unlikely, to generate a > BUFFER_SIZE novel prefix,
+            # as nodes in the novel tree may be variable sized due to eg integer
+            # probe retries.
+            prefix = prefix[:BUFFER_SIZE]
             if (
                 self.valid_examples <= small_example_cap
                 and self.call_count <= 5 * small_example_cap