3 ms·

Go also has a version of this in the stdlib https://golang.org/pkg/testing/quick/ https://golang.org/pkg/testing/quick/

• jlouis 10y ago
  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)
  • it 10y ago
    Gopter for Go can shrink examples: https://github.com/leanovate/gopter https://github.com/leanovate/gopter.
    • jaytaylor 10y ago
      This looks amazingly useful. I've been looking for a clojure-esque spec package for Go!
  • bjz_ 10y ago
    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.