Hacker News new | past | comments | ask | show | jobs | submit login

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.




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: