crosshair-tool 0.0.99__cp312-cp312-macosx_10_13_x86_64.whl

crosshair/__init__.py

@@ -0,0 +1,42 @@
+"""Analyze Python code for correctness using symbolic execution."""
+
+import sys
+
+from crosshair.core import (
+    SymbolicFactory,
+    deep_realize,
+    patch_to_return,
+    realize,
+    register_patch,
+    register_type,
+    with_realized_args,
+)
+from crosshair.statespace import StateSpace
+from crosshair.tracers import NoTracing, ResumedTracing
+from crosshair.util import IgnoreAttempt, debug
+
+__version__ = "0.0.99"  # Do not forget to update in setup.py!
+__author__ = "Phillip Schanely"
+__license__ = "MIT"
+__status__ = "Alpha"
+
+
+def env_info() -> str:
+    python_ver = sys.version.split(" ")[0]
+    return f"CrossHair v{__version__} on {sys.platform}, Python {python_ver}"
+
+
+__all__ = [
+    "debug",
+    "deep_realize",
+    "patch_to_return",
+    "realize",
+    "register_patch",
+    "register_type",
+    "with_realized_args",
+    "IgnoreAttempt",
+    "NoTracing",
+    "ResumedTracing",
+    "StateSpace",
+    "SymbolicFactory",
+]

crosshair/__main__.py

@@ -0,0 +1,8 @@
+"""Run CrossHair as Python module."""
+
+import crosshair.main
+
+if __name__ == "__main__":
+    # The ``prog`` needs to be set in the argparse.
+    # Otherwise the program name in the help shown to the user will be ``__main__``.
+    crosshair.main.main()