Show HN: Hypothesis and CrossHair demo (concolic / SMT-based PBT)

3 points| pschanely | 4 years ago |pschanely.github.io