Show HN: CrossHair – SMT Assisted Testing for Pythongithub.com/pschanely97 pointspschanely6 years ago