与基于 Rust 的假设逻辑一起制定符号后端支持策略
作者: pschanely创建于 2026年7月26日更新于 2026年7月26日
标签interopinternals
通过 #4740 端口引入的 Rust 为 CrossHair 后端带来了新的挑战,后端只支持纯 Python。随着 Rust 的切换,CrossHair 将不得不实现之前的符号值,在某些情况下可能会完全失败。此工单是为了制定支持这两个目标的策略(或者决定放弃其中一个,尽管个人认为没有必要这样做)。我怀疑在所有解决方案中,我们都需要针对基于 Rust 的逻辑实现并行的纯 Python 实现。我的第一个问题都是基于这个假设的后续问题:
内容来源: HypothesisWorks/hypothesis