Hacker News Reader

Yes, but the Go tool doesn't do shrinking, which is troublesome once you start building big models.

(disclosure: I have some pretty large Erlang QuickCheck models on Github)

Gopter for Go can shrink examples: https://github.com/leanovate/gopter.

This looks amazingly useful. I've been looking for a clojure-esque spec package for Go!

Any examples of those you can share? I've been curious about quickcheck for a while now, but have not known how it would work beyond the simple examples that are most often shown.

Reply on news.ycombinator.com