Merge pull request #1537 from codeflash-ai/cf-crosshair-optional-3.15

feat: make crosshair-tool optional for Python 3.15+

Author: KRRT7

codeflash/verification/concolic_testing.py

@@ -1,6 +1,7 @@
 from __future__ import annotations
 
 import ast
+import importlib.util
 import subprocess
 import tempfile
 import time
@@ -18,6 +19,8 @@
 from codeflash.telemetry.posthog_cf import ph
 from codeflash.verification.verification_utils import TestConfig
 
+CROSSHAIR_AVAILABLE = importlib.util.find_spec("crosshair") is not None
+
 if TYPE_CHECKING:
     from argparse import Namespace
 
@@ -52,6 +55,10 @@ def generate_concolic_tests(
         logger.debug("Skipping concolic test generation for non-Python languages (CrossHair is Python-only)")
         return function_to_concolic_tests, concolic_test_suite_code
 
+    if not CROSSHAIR_AVAILABLE:
+        logger.debug("Skipping concolic test generation (crosshair-tool is not installed)")
+        return function_to_concolic_tests, concolic_test_suite_code
+
     if is_LSP_enabled():
         logger.debug("Skipping concolic test generation in LSP mode")
         return function_to_concolic_tests, concolic_test_suite_code

pyproject.toml

@@ -39,7 +39,7 @@ dependencies = [
     "dill>=0.3.8",
     "rich>=13.8.1",
     "lxml>=5.3.0",
-    "crosshair-tool>=0.0.78",
+    "crosshair-tool>=0.0.78; python_version < '3.15'",
     "coverage>=7.6.4",
     "line_profiler>=4.2.0",
     "platformdirs>=4.3.7",