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

pschanely.github.io