Hacker News new | ask | show | jobs
Show HN: Hypothesis and CrossHair demo (concolic / SMT-based PBT) (pschanely.github.io)
3 points by pschanely 1746 days ago