CrossHair
v0.0.80
Python的分析工具，该工具模糊了测试和类型系统之间的界限。
最新消息： Python最受欢迎的基于物业的测试工具假设现在支持Crosshair作为可选的后端！
如果您具有带有类型注释的功能并在受支持的语法中添加合同，Crosshair将尝试为您找到反示例：
Crosshair用符号输入反复调用您的功能来起作用。它使用SMT求解器（一种定理供体）来探索可行的执行路径并为您找到反例。这不是一个新想法；本文首先描述了Python方法。但是，据我所知，Crosshair是最完整的实现：它可以为内置类型，用户定义的类和大部分标准库使用符号推理。
在您的浏览器中，在Crosshair-web.org上尝试Crosshair！
Crosshair具有VS代码，Pycharm等的IDE集成。
最后，Crosshair可以做的不仅仅是检查合同。它还可以生成单位测试并发现功能之间的行为差异。
想帮助吗？注册电子邮件或RSS更新。星级存储库。还有其他方法可以提供帮助。
