pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
97 best points · 14 comments · 3 Hacker News posts · 1,343 GitHub stars · View on GitHub
Hacker News discussions
- Show HN: CrossHair – SMT Assisted Testing for Python (97 points, 14 comments, by pschanely, 2020-01-15)
- Diff the behavior of two Python functions (4 points, 0 comments, by ColinWright, 2021-01-18)
- CrossHair: Analysis [Python] that blurs the line between testing and [types] (1 points, 0 comments, by 082349872349872, 2024-12-24)