crosshair-tool 0.0.56__cp39-cp39-macosx_11_0_arm64.whl → 0.0.100__cp39-cp39-macosx_11_0_arm64.whl

crosshair/util.py

@@ -10,9 +10,9 @@ import pathlib
 import re
 import sys
 import threading
-import time
 import traceback
 import types
+from array import array
 from dataclasses import dataclass
 from enum import Enum
 from inspect import (
@@ -21,8 +21,10 @@ from inspect import (
     getmodulename,
     getsourcefile,
     getsourcelines,
+    isdatadescriptor,
     isfunction,
 )
+from time import monotonic
 from types import BuiltinFunctionType, FunctionType, MethodDescriptorType, TracebackType
 from typing import (
     Any,
@@ -30,12 +32,13 @@ from typing import (
     Dict,
     Generator,
     Generic,
-    Iterable,
     List,
     Mapping,
     MutableMapping,
     Optional,
+    Sequence,
     Set,
+    TextIO,
     Tuple,
     Type,
     TypeVar,
@@ -43,12 +46,27 @@ from typing import (
     cast,
 )
 
-import typing_inspect
+import typing_inspect  # type: ignore
 
 from crosshair.auditwall import opened_auditwall
 from crosshair.tracers import COMPOSITE_TRACER, NoTracing, ResumedTracing, is_tracing
 
-_DEBUG = False
+_DEBUG_STREAM: Optional[TextIO] = None
+
+
+# NOTE: many of these is_* functions should use a TypeGuard in 3.10 (or even TypeIs in 3.13)
+
+if sys.version_info >= (3, 12):
+    from collections.abc import Buffer
+
+    def is_bytes_like(obj: object) -> bool:
+        return isinstance(obj, Buffer)
+
+else:
+    from collections.abc import ByteString
+
+    def is_bytes_like(obj: object) -> bool:
+        return isinstance(obj, (ByteString, array))
 
 
 def is_iterable(o: object) -> bool:
@@ -111,8 +129,43 @@ def true_type(obj: object) -> Type:
         return type(obj)
 
 
+CROSSHAIR_EXTRA_ASSERTS = os.environ.get("CROSSHAIR_EXTRA_ASSERTS", "0") == "1"
+
+if CROSSHAIR_EXTRA_ASSERTS:
+
+    def assert_tracing(should_be_tracing):
+        def decorator(fn):
+            fn_name = fn.__qualname__
+
+            @functools.wraps(fn)
+            def check_tracing(*a, **kw):
+                if is_tracing() != should_be_tracing:
+                    with NoTracing():
+                        if should_be_tracing:
+                            raise CrossHairInternal(
+                                f"should be tracing when calling {fn_name}, but isn't"
+                            )
+                        else:
+                            raise CrossHairInternal(
+                                f"should not be tracing when calling {fn_name}, but is"
+                            )
+                return fn(*a, **kw)
+
+            return check_tracing
+
+        return decorator
+
+else:
+
+    def assert_tracing(should_be_tracing):
+        def decorator(fn):
+            return fn
+
+        return decorator
+
+
 class IdKeyedDict(collections.abc.MutableMapping):
-    def __init__(self):
+    def __init__(self) -> None:
         # Confusingly, we hold both the key object and value object in
         # our inner dict. Holding the key object ensures that we don't
         # GC the key object, which could lead to reusing the same id()
@@ -129,7 +182,9 @@ class IdKeyedDict(collections.abc.MutableMapping):
         return self.inner.__delitem__(id(k))
 
     def __iter__(self):
-        return map(id, self.inner.__iter__())
+        raise NotImplementedError
+        # No use cases for this yet, but we could do something like this:
+        # return (actual_key_object for actual_key_object, _ in self.inner.values())
 
     def __len__(self):
         return len(self.inner)
@@ -160,23 +215,30 @@ def sourcelines(thing: object) -> Tuple[str, int, Tuple[str, ...]]:
 
 def frame_summary_for_fn(
     fn: Callable, frames: traceback.StackSummary
-) -> Tuple[str, int]:
+) -> Tuple[Optional[str], int]:
     fn_name = fn.__name__
-    fn_file = cast(str, getsourcefile(fn))
+    try:
+        fn_file = getsourcefile(fn)  # Can return None OR raise TypeError
+    except TypeError:
+        fn_file = None
+    if fn_file is None:
+        return (None, 0)
     for frame in reversed(frames):
         if frame.name == fn_name and samefile(frame.filename, fn_file):
             return (frame.filename, frame.lineno or 1)
     return sourcelines(fn)[:2]
 
 
-def set_debug(debug: bool):
-    global _DEBUG
-    _DEBUG = debug
+def set_debug(new_debug: bool, output: TextIO = sys.stderr):
+    global _DEBUG_STREAM
+    if new_debug:
+        _DEBUG_STREAM = output
+    else:
+        _DEBUG_STREAM = None
 
 
 def in_debug() -> bool:
-    global _DEBUG
-    return _DEBUG
+    return bool(_DEBUG_STREAM)
 
 
 def debug(*a):
@@ -190,7 +252,7 @@ def debug(*a):
     symbolic will change the path exploration that CrossHair normally takes, leading to
     different outcomes in verbose and non-verbose mode.
     """
-    if not _DEBUG:
+    if not _DEBUG_STREAM:
         return
     with NoTracing():
         stack = traceback.extract_stack()
@@ -198,9 +260,9 @@ def debug(*a):
         indent = len(stack) - 3
         print(
             "{:06.3f}|{}|{}() {}".format(
-                time.monotonic(), " " * indent, frame.name, " ".join(map(str, a))
+                monotonic(), " " * indent, frame.name, " ".join(map(str, a))
             ),
-            file=sys.stderr,
+            file=_DEBUG_STREAM,
         )
 
 
@@ -214,43 +276,32 @@ def warn(*a):
     debug("WARNING:", *a)
 
 
-TracebackLike = Union[None, TracebackType, Iterable[traceback.FrameSummary]]
-
+TracebackLike = Union[None, TracebackType, Sequence[traceback.FrameSummary]]
 
-def test_stack(tb: TracebackLike = None) -> str:
-    return tiny_stack(tb, ignore=re.compile("^$"))
 
-
-def tiny_stack(tb: TracebackLike = None, **kw) -> str:
+def ch_stack(
+    tb: TracebackLike = None,
+    last_n_frames: int = sys.maxsize,
+    currently_handling: Optional[BaseException] = None,
+) -> str:
     with NoTracing():
-        if tb is None:
-            frames: Iterable[traceback.FrameSummary] = traceback.extract_stack()[:-1]
+        if currently_handling:
+            if tb is not None:
+                raise CrossHairInternal
+            lower_frames = traceback.extract_tb(currently_handling.__traceback__)
+            higher_frames = traceback.extract_stack()[:-2]
+            frames: Sequence[traceback.FrameSummary] = higher_frames + lower_frames
+        elif tb is None:
+            frames = traceback.extract_stack()[:-1]
         elif isinstance(tb, TracebackType):
             frames = traceback.extract_tb(tb)
         else:
             frames = tb
-        return _tiny_stack_frames(frames, **kw)
-
-
-def _tiny_stack_frames(
-    frames: Iterable[traceback.FrameSummary],
-    ignore=re.compile(r".*\b(crosshair|z3|typing_inspect|unittest)\b"),
-) -> str:
-    output: List[str] = []
-    ignore_ct = 0
-    for frame in frames:
-        if ignore.match(frame.filename) and not frame.filename.endswith("_test.py"):
-            ignore_ct += 1
-        else:
-            if ignore_ct > 0:
-                if output:
-                    output.append(f"(...x{ignore_ct})")
-                ignore_ct = 0
+        output: List[str] = []
+        for frame in frames[-last_n_frames:]:
             filename = os.path.split(frame.filename)[1]
             output.append(f"({frame.name} {filename}:{frame.lineno})")
-    if ignore_ct > 0:
-        output.append(f"(...x{ignore_ct})")
-    return " ".join(output)
+        return " ".join(output)
 
 
 class ErrorDuringImport(Exception):
@@ -300,17 +351,19 @@ def load_file(filename: str) -> types.ModuleType:
         raise ErrorDuringImport from e
 
 
-def import_alternative(name: str, suppress: Tuple[str, ...] = ()):
+@contextlib.contextmanager
+def imported_alternative(name: str, suppress: Tuple[str, ...] = ()):
     """Load an alternative version of a module with some modules suppressed."""
     modules = sys.modules
     orig_module = importlib.import_module(name)  # Ensure the regular version is loaded
-    prev = modules.copy()
     modules.update({k: None for k in suppress})  # type: ignore
+    alternative = importlib.reload(orig_module)
     try:
-        return importlib.reload(orig_module)
+        yield
     finally:
-        # sys.modules = prev
-        pass
+        for k in suppress:
+            del modules[k]
+        importlib.reload(alternative)
 
 
 def format_boundargs_as_dictionary(bound_args: BoundArguments) -> str:
@@ -320,7 +373,7 @@ def format_boundargs_as_dictionary(bound_args: BoundArguments) -> str:
 
 def format_boundargs(bound_args: BoundArguments) -> str:
     arg_strings: List[str] = []
-    for (name, param) in bound_args.signature.parameters.items():
+    for name, param in bound_args.signature.parameters.items():
         param_kind = param.kind
         vals = bound_args.arguments.get(name, param.default)
         if param_kind == Parameter.VAR_POSITIONAL:
@@ -348,12 +401,13 @@ def eval_friendly_repr(obj: object) -> str:
     assert not is_tracing()
     with ResumedTracing(), EvalFriendlyReprContext() as ctx:
         try:
+            # TODO: probably only the repr should have tracing enabled
             return ctx.cleanup(repr(obj))
         except Exception as e:
             if isinstance(e, (IgnoreAttempt, UnexploredPath)):
                 raise
             debug("Repr failed, ", type(e), ":", str(e))
-            debug("Repr failed at:", test_stack(e.__traceback__))
+            debug("Repr failed at:", ch_stack(currently_handling=e))
             return UNABLE_TO_REPR_TEXT
 
 
@@ -438,7 +492,7 @@ class EvalFriendlyReprContext:
 
     def __enter__(self):
         if not is_tracing():
-            raise CrosshairInternal
+            raise CrossHairInternal
         OVERRIDES: Dict[type, Callable[[Any], Union[str, ReferencedIdentifier]]] = {
             object: lambda o: "object()",
             list: lambda o: f"[{', '.join(map(repr, o))}]",  # (de-optimize C-level repr)
@@ -454,9 +508,9 @@ class EvalFriendlyReprContext:
             oid = id(obj)
             typ = type(obj)
             if obj in instance_overrides:
-                repr_fn: Callable[
-                    [Any], Union[str, ReferencedIdentifier]
-                ] = instance_overrides[obj]
+                repr_fn: Callable[[Any], Union[str, ReferencedIdentifier]] = (
+                    instance_overrides[obj]
+                )
             elif typ == float:
                 if math.isfinite(obj):
                     repr_fn = repr
@@ -494,7 +548,7 @@ class EvalFriendlyReprContext:
         counts = collections.Counter(re.compile(r"\b_ch_efr_\d+_\b").findall(output))
         assignment_remaps = {}
         nextvarnum = 1
-        for (varname, count) in counts.items():
+        for varname, count in counts.items():
             if count > 1:
                 assignment_remaps[varname + ":="] = f"v{nextvarnum}:="
                 assignment_remaps[varname] = f"v{nextvarnum}"
@@ -576,10 +630,16 @@ class DynamicScopeVar(Generic[_T]):
 
 class AttributeHolder:
     def __init__(self, attrs: Mapping[str, object]):
-        for (k, v) in attrs.items():
+        for k, v in attrs.items():
             self.__dict__[k] = v
 
 
+class CrossHairValue:
+    """Base class for values that are pretending to be other values."""
+
+    pass
+
+
 class ControlFlowException(BaseException):
     # CrossHair sometimes uses exceptions to abort a path mid-execution.
     # We extend such exceptions from BaseException instead of Exception,
@@ -587,11 +647,15 @@ class ControlFlowException(BaseException):
     pass
 
 
-class CrosshairInternal(ControlFlowException):
+class CrossHairInternal(ControlFlowException):
     def __init__(self, *a):
         ControlFlowException.__init__(self, *a)
-        debug("CrosshairInternal", str(self))
-        debug(" Stack trace:\n" + "".join(traceback.format_stack()))
+        if in_debug():
+            debug("CrossHairInternal:", str(self))
+            debug("CrossHairInternal stack trace:")
+            for entry in traceback.format_stack()[:-1]:
+                for line in entry.splitlines():
+                    debug("", line)
 
 
 class UnexploredPath(ControlFlowException):
@@ -604,6 +668,10 @@ class UnknownSatisfiability(UnexploredPath):
         debug("UnknownSatisfiability", str(self))
 
 
+class NotDeterministic(Exception):
+    pass
+
+
 class PathTimeout(UnexploredPath):
     pass
 
@@ -618,28 +686,42 @@ class IgnoreAttempt(ControlFlowException):
     def __init__(self, *a):
         if in_debug():
             debug(f"IgnoreAttempt", *a)
-            debug("IgnoreAttempt stack:", test_stack())
+            debug("IgnoreAttempt stack:", ch_stack())
 
 
-ExtraUnionType = getattr(types, "UnionType") if sys.version_info >= (3, 10) else None
+if (3, 10) <= sys.version_info < (3, 14):
+    # Specialize some definitions for the Python versions where
+    # typing.Union != types.UnionType:
 
+    def origin_of(typ: Type) -> Type:
+        if hasattr(typ, "__origin__"):
+            return typ.__origin__
+        elif isinstance(typ, types.UnionType):
+            return cast(Type, Union)
+        else:
+            return typ
 
-def origin_of(typ: Type) -> Type:
-    if hasattr(typ, "__origin__"):
-        return typ.__origin__
-    elif ExtraUnionType and isinstance(typ, ExtraUnionType):
-        return cast(Type, Union)
-    else:
-        return typ
+    def type_args_of(typ: Type) -> Tuple[Type, ...]:
+        if getattr(typ, "__args__", None):
+            if isinstance(typ, types.UnionType):
+                return typ.__args__
+            return typing_inspect.get_args(typ, evaluate=True)
+        else:
+            return ()
 
+else:
 
-def type_args_of(typ: Type) -> Tuple[Type, ...]:
-    if getattr(typ, "__args__", None):
-        if ExtraUnionType and isinstance(typ, ExtraUnionType):
-            return typ.__args__
-        return typing_inspect.get_args(typ, evaluate=True)
-    else:
-        return ()
+    def type_args_of(typ: Type) -> Tuple[Type, ...]:
+        if getattr(typ, "__args__", None):
+            return typing_inspect.get_args(typ, evaluate=True)
+        else:
+            return ()
+
+    def origin_of(typ: Type) -> Type:
+        origin = getattr(typ, "__origin__", None)
+        # 3.14 unifies typing.Union and types.Union, so that's good!
+        # But a of 3.14.0a6, types.Union.__origin__ yields a data descriptor, so we need to check that.
+        return typ if origin is None or isdatadescriptor(origin) else origin
 
 
 def type_arg_of(typ: Type, index: int) -> Type:

crosshair/util_test.py

@@ -1,5 +1,6 @@
 import sys
 import traceback
+import types
 from dataclasses import dataclass
 from enum import Enum
 from inspect import signature
@@ -10,11 +11,11 @@ import pytest
 
 from crosshair.tracers import PatchingModule
 from crosshair.util import (
-    CrosshairInternal,
+    CrossHairInternal,
     DynamicScopeVar,
-    _tiny_stack_frames,
     eval_friendly_repr,
     format_boundargs,
+    imported_alternative,
     is_pure_python,
     renamed_function,
     sourcelines,
@@ -77,23 +78,18 @@ def test_dynamic_scope_var_with_exception():
     assert var.get_if_in_scope() is None
 
 
-def test_tiny_stack_frames():
-    FS = traceback.FrameSummary
-    s = _tiny_stack_frames(
-        [
-            FS("a.py", 1, "fooa"),
-            FS("/crosshair/b.py", 2, "foob"),
-            FS("/crosshair/c.py", 3, "fooc"),
-            FS("/other/package/d.py", 4, "food"),
-            FS("/crosshair/e.py", 5, "fooe"),
-        ]
-    )
-    assert s == "(fooa a.py:1) (...x2) (food d.py:4) (...x1)"
+def test_imported_alternative():
+    import heapq
+
+    assert type(heapq.heapify) == types.BuiltinFunctionType
+    with imported_alternative("heapq", ("_heapq",)):
+        assert type(heapq.heapify) == types.FunctionType
+    assert type(heapq.heapify) == types.BuiltinFunctionType
 
 
 class UnhashableCallable:
     def __hash__(self):
-        raise CrosshairInternal("Do not hash")
+        raise CrossHairInternal("Do not hash")
 
     def __call__(self):
         return 42
@@ -144,10 +140,8 @@ def test_eval_friendly_repr():
         # Special float values:
         assert eval_friendly_repr(float("nan")) == 'float("nan")'
         # MethodDescriptorType
-        assert (
-            eval_friendly_repr(numpy.random.RandomState.randint)
-            == "RandomState.randint"
-        )
+        assert isinstance(str.join, types.MethodDescriptorType)
+        assert eval_friendly_repr(str.join) == "str.join"
         # enums:
         assert eval_friendly_repr(Color.RED) == "Color.RED"
         # basic dataclass
@@ -165,7 +159,6 @@ def test_eval_friendly_repr():
         assert repr(Color.RED) == "<Color.RED: 0>"
 
 
-@pytest.mark.skipif(sys.version_info < (3, 8), reason="Python 3.8+ required")
 def test_renamed_function():
     def crash_on_seven(x):
         if x == 7:

crosshair/watcher.py

@@ -35,7 +35,7 @@ from crosshair.core_and_libs import (
 from crosshair.fnutil import NotFound, walk_paths
 from crosshair.options import AnalysisOptionSet
 from crosshair.util import (
-    CrosshairInternal,
+    CrossHairInternal,
     ErrorDuringImport,
     debug,
     load_file,
@@ -142,7 +142,7 @@ def pool_worker_main() -> None:
         output: WorkItemOutput = (filename, stats, messages)
         print(serialize(output))
     except BaseException as e:
-        raise CrosshairInternal("Worker failed while analyzing " + str(filename)) from e
+        raise CrossHairInternal("Worker failed while analyzing " + str(filename)) from e
 
 
 class Pool:
@@ -244,8 +244,8 @@ class Watcher:
         pool = self._pool
         for filename, _ in sorted(self._modtimes.items(), key=lambda pair: -pair[1]):
             worker_timeout = max(
-                10.0, max_uninteresting_iterations * 100.0
-            )  # TODO: times 100? is that right?
+                10.0, max_uninteresting_iterations * 1_000.0
+            )  # TODO: times 1000? is that right?
             iter_options = AnalysisOptionSet(
                 max_uninteresting_iterations=max_uninteresting_iterations,
             )

crosshair/z3util.py

@@ -14,7 +14,7 @@ from z3 import (
     Z3_mk_or,
     Z3_solver_assert,
 )
-from z3.z3 import _to_ast_array
+from z3.z3 import _to_ast_array  # type: ignore
 
 ctx = z3.main_ctx()
 ctx_ref = ctx.ref()

{crosshair_tool-0.0.56.dist-info → crosshair_tool-0.0.100.dist-info}/METADATA

@@ -1,6 +1,6 @@
-Metadata-Version: 2.1
+Metadata-Version: 2.4
 Name: crosshair-tool
-Version: 0.0.56
+Version: 0.0.100
 Summary: Analyze Python code for correctness using symbolic execution.
 Home-page: https://github.com/pschanely/CrossHair
 Author: Phillip Schanely
@@ -8,64 +8,73 @@ Author-email: pschanely+vE7F@gmail.com
 License: MIT
 Classifier: Development Status :: 3 - Alpha
 Classifier: Intended Audience :: Developers
-Classifier: License :: OSI Approved :: MIT License
 Classifier: Operating System :: OS Independent
 Classifier: Programming Language :: Python :: 3
-Classifier: Programming Language :: Python :: 3.7
 Classifier: Programming Language :: Python :: 3.8
 Classifier: Programming Language :: Python :: 3.9
 Classifier: Programming Language :: Python :: 3.10
 Classifier: Programming Language :: Python :: 3.11
 Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
 Classifier: Programming Language :: Python :: Implementation :: CPython
 Classifier: Topic :: Software Development :: Quality Assurance
 Classifier: Topic :: Software Development :: Testing
-Requires-Python: >=3.7
+Requires-Python: >=3.8
 Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: packaging
-Requires-Dist: typing-inspect (>=0.7.1)
-Requires-Dist: typing-extensions (>=3.10.0)
-Requires-Dist: z3-solver (==4.13.0.0)
-Requires-Dist: importlib-metadata (>=4.0.0)
-Requires-Dist: pygls (>=1.0.0)
-Requires-Dist: typeshed-client (>=2.0.5)
+Requires-Dist: typing-inspect>=0.7.1
+Requires-Dist: typing_extensions>=3.10.0
+Requires-Dist: z3-solver>=4.13.0.0
+Requires-Dist: importlib_metadata>=4.0.0
+Requires-Dist: pygls>=1.0.0
+Requires-Dist: typeshed-client>=2.0.5
 Provides-Extra: dev
-Requires-Dist: autodocsumm (<1,>=0.2.2) ; extra == 'dev'
-Requires-Dist: black (==22.3.0) ; extra == 'dev'
-Requires-Dist: deal (>=4.13.0) ; extra == 'dev'
-Requires-Dist: hypothesis (>=6.0.0) ; extra == 'dev'
-Requires-Dist: icontract (>=2.4.0) ; extra == 'dev'
-Requires-Dist: isort (==5.11.5) ; extra == 'dev'
-Requires-Dist: mypy (==0.990) ; extra == 'dev'
-Requires-Dist: pre-commit (~=2.20) ; extra == 'dev'
-Requires-Dist: pydantic (<2.0) ; extra == 'dev'
-Requires-Dist: pytest ; extra == 'dev'
-Requires-Dist: pytest-xdist ; extra == 'dev'
-Requires-Dist: sphinx (>=3.4.3) ; extra == 'dev'
-Requires-Dist: sphinx-rtd-theme (>=0.5.1) ; extra == 'dev'
-Requires-Dist: types-pkg-resources ; extra == 'dev'
-Requires-Dist: wheel ; extra == 'dev'
-Requires-Dist: numpy (==1.23.4) ; (python_version < "3.12") and extra == 'dev'
-Requires-Dist: numpy (==1.26.0) ; (python_version >= "3.12" and python_version < "3.13") and extra == 'dev'
-Requires-Dist: numpy (==1.26.2) ; (python_version >= "3.13") and extra == 'dev'
+Requires-Dist: autodocsumm<1,>=0.2.2; extra == "dev"
+Requires-Dist: black==25.9.0; extra == "dev"
+Requires-Dist: deal>=4.13.0; extra == "dev"
+Requires-Dist: icontract>=2.4.0; extra == "dev"
+Requires-Dist: isort==5.11.5; extra == "dev"
+Requires-Dist: mypy==1.18.1; extra == "dev"
+Requires-Dist: numpy==1.24.0; python_version < "3.12" and extra == "dev"
+Requires-Dist: numpy==2.3.3; python_version >= "3.12" and extra == "dev"
+Requires-Dist: pre-commit~=2.20; extra == "dev"
+Requires-Dist: pytest; extra == "dev"
+Requires-Dist: pytest-xdist; extra == "dev"
+Requires-Dist: setuptools; extra == "dev"
+Requires-Dist: sphinx>=3.4.3; extra == "dev"
+Requires-Dist: sphinx-rtd-theme>=0.5.1; extra == "dev"
+Requires-Dist: rst2pdf>=0.102; extra == "dev"
+Requires-Dist: z3-solver==4.15.4.0; extra == "dev"
+Dynamic: author
+Dynamic: author-email
+Dynamic: classifier
+Dynamic: description
+Dynamic: description-content-type
+Dynamic: home-page
+Dynamic: license
+Dynamic: license-file
+Dynamic: provides-extra
+Dynamic: requires-dist
+Dynamic: requires-python
+Dynamic: summary
 
 <img src="https://raw.githubusercontent.com/pschanely/CrossHair/main/doc/source/logo-gray.png" width="5%" align="left">
 
 # CrossHair
 
-[![Join the chat at https://gitter.im/Cross_Hair/Lobby](https://badges.gitter.im/Cross_Hair/Lobby.svg)](https://gitter.im/Cross_Hair/Lobby?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
-[![Check status](https://github.com/pschanely/CrossHair/workflows/Check/badge.svg)](https://github.com/pschanely/CrossHair/actions?query=workflow%3ACheck)
-[![Downloads](https://pepy.tech/badge/crosshair-tool)](https://pepy.tech/project/crosshair-tool)
+[![Join the chat on Discord](https://img.shields.io/discord/1346219754519789719?logo=discord&logoColor=white)](https://discord.gg/rUeTaYTWbb)
+[![Check status](https://github.com/pschanely/CrossHair/actions/workflows/check.yml/badge.svg?branch=main&event=push)](https://github.com/pschanely/CrossHair/actions?query=workflow%3ACheck+event%3Apush)
+[![Downloads](https://static.pepy.tech/badge/crosshair-tool/week)](https://pepy.tech/project/crosshair-tool)
 
 An analysis tool for Python that blurs the line between testing and
 type systems.
 
 > **_THE LATEST NEWS:_**
-The new CrossHair VSCode extension can work in the background and provide in-line
-errors when it finds a counterexample, just like a linter or type-checker.
-[Try it out](https://marketplace.visualstudio.com/items?itemName=CrossHair.crosshair)
-and tell me what you think!
+Python's most popular property-based testing tool,
+[Hypothesis](https://hypothesis.readthedocs.io/en/latest/),
+now supports running CrossHair as an
+[optional backend](https://hypothesis.readthedocs.io/en/latest/strategies.html#alternative-backends)!
 
 
 If you have a function with