fix: support Python 3.10-3.14 in comparator itertools tests

Handle itertools.cycle on Python 3.14 where __reduce__ was removed by
falling back to element-by-element sampling. Add version guards for
pairwise (3.10+) and batched (3.12+) tests.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: aseembits93

codeflash/verification/comparator.py

@@ -544,20 +544,28 @@ def comparator(orig: Any, new: Any, superset_obj: bool = False) -> bool:
             # __reduce__ returns (cls, (remaining_iter,), (saved_items, first_pass_done)).
             # NOTE: consuming the remaining_iter is destructive to the cycle object, but this is
             # acceptable since the comparator is the final consumer of captured return values.
-            # NOTE: __reduce__ on itertools is deprecated and will be removed in Python 3.14.
-            with warnings.catch_warnings():
-                warnings.simplefilter("ignore", DeprecationWarning)
-                orig_reduce = orig.__reduce__()
-                new_reduce = new.__reduce__()
-            orig_remaining = list(orig_reduce[1][0])
-            new_remaining = list(new_reduce[1][0])
-            orig_saved, orig_started = orig_reduce[2]
-            new_saved, new_started = new_reduce[2]
-            if orig_started != new_started:
-                return False
-            return comparator(orig_remaining, new_remaining, superset_obj) and comparator(
-                orig_saved, new_saved, superset_obj
-            )
+            # NOTE: __reduce__ on itertools.cycle was removed in Python 3.14.
+            try:
+                with warnings.catch_warnings():
+                    warnings.simplefilter("ignore", DeprecationWarning)
+                    orig_reduce = orig.__reduce__()
+                    new_reduce = new.__reduce__()
+                orig_remaining = list(orig_reduce[1][0])
+                new_remaining = list(new_reduce[1][0])
+                orig_saved, orig_started = orig_reduce[2]
+                new_saved, new_started = new_reduce[2]
+                if orig_started != new_started:
+                    return False
+                return comparator(orig_remaining, new_remaining, superset_obj) and comparator(
+                    orig_saved, new_saved, superset_obj
+                )
+            except TypeError:
+                # Python 3.14+: __reduce__ removed. Fall back to consuming elements from both
+                # cycles and comparing. Since the comparator is the final consumer, this is safe.
+                sample_size = 200
+                orig_sample = [next(orig) for _ in range(sample_size)]
+                new_sample = [next(new) for _ in range(sample_size)]
+                return comparator(orig_sample, new_sample, superset_obj)
 
         # Handle remaining itertools types (chain, islice, starmap, product, permutations, etc.)
         # by materializing into lists. count/repeat/cycle are already handled above.

tests/test_comparator.py

@@ -690,12 +690,18 @@ def test_itertools_groupby() -> None:
     )
 
 
-def test_itertools_pairwise_batched() -> None:
+@pytest.mark.skipif(sys.version_info < (3, 10), reason="itertools.pairwise requires Python 3.10+")
+def test_itertools_pairwise() -> None:
     import itertools
 
     assert comparator(itertools.pairwise([1, 2, 3, 4]), itertools.pairwise([1, 2, 3, 4]))
     assert not comparator(itertools.pairwise([1, 2, 3, 4]), itertools.pairwise([1, 2, 3, 5]))
 
+
+@pytest.mark.skipif(sys.version_info < (3, 12), reason="itertools.batched requires Python 3.12+")
+def test_itertools_batched() -> None:
+    import itertools
+
     assert comparator(itertools.batched("ABCDEFG", 3), itertools.batched("ABCDEFG", 3))
     assert not comparator(itertools.batched("ABCDEFG", 3), itertools.batched("ABCDEFG", 2))