Gopter

Overview

Gopter is a Go library for property-based testing, aimed at developers who want generated inputs and more control over test cases than Go’s testing/quick offers. Its combination of composable generators, shrinking and Go test integrations makes it a focused option for finding counterexamples in Go code.

Key features

Generator composition is Gopter’s central strength. Operations such as Map, FlatMap, SuchThat and WithShrinker let developers shape inputs and their reduction behavior. When a property fails, shrinkers search for a smaller value that still falsifies it; that can turn a complicated generated case into a more useful debugging target. Failures are reproducible, which helps developers revisit a counterexample rather than treat it as a one-off.

Gopter includes a generator for regular-expression matches, useful when a property concerns strings constrained by a pattern. It also supports stateful tests built from arbitrary commands, letting developers check behavior across command sequences rather than only isolated inputs. These features add meaningful scope, though the README says parallel commands are not available yet.

Properties can run through Go’s testing.T context using TestingRun, and the gopter/convey package provides helpers for GoConvey tests. Console and formatted reporters present results. Documentation covers the gopter, gen, prop, arbitrary, commands and convey packages. Gopter does not include ScalaCheck’s Pretty feature, so teams seeking that specific reporting capability should look elsewhere.

Pricing

Gopter is free: both the MIT-licensed package and the Gopter plan cost 0.00 USD per free. There is no paid tier or free trial; the package is distributed under the MIT License. That makes it a straightforward option for individual developers and teams that can work with an open-source Go library, without a subscription or seat limits to weigh.

Platforms

Gopter is a Go module for Linux and self-hosted use, with Go 1.20 declared. Its supported language is Go, and its test-runner integrations are Go’s testing package and GoConvey. It is not a general cross-language testing service: the value is specifically in fitting property testing into Go workflows.

Who it's for

Choose Gopter if you write Go tests and need finer generator control than testing/quick, automatic shrinking, or stateful command-based checks. It is especially relevant to teams already using GoConvey or the standard Go testing package. Look elsewhere if parallel commands or ScalaCheck-style Pretty reporting are requirements.

Pros and cons

• Pros: Composable generators provide more control than testing/quick; shrinking narrows falsifying inputs; reproducible failures support follow-up debugging.
• Pros: Regex generators, stateful tests, Go test integration and GoConvey helpers cover several Go testing workflows.
• Cons: Parallel commands are not available, limiting its fit for workflows that depend on them.
• Cons: It lacks ScalaCheck’s Pretty feature, which may matter to teams expecting that style of output.

Alternatives

For JavaScript or TypeScript, fast-check is a free, MIT-licensed option with API, Linux and web platforms. Scala Hedgehog is a free Scala testing library for Linux. CsCheck is a free, Apache 2 option for self-hosted use, while QuickCheck is a free Haskell library for random testing of program properties.

Hypothesis is another free choice, supporting Linux, macOS and Windows. Go developers comparing another Go library can consider Rapid, a free open-source option with no dependencies outside Go’s standard library. RapidCheck is free for Linux, self-hosted and Windows use; Proptest is a free alternative listed for web. Browse more options in Property-Based Testing Tools.

Verdict

Gopter is a strong fit for Go developers who want composable generated inputs, shrinking and stateful testing without paying for a testing service. Its standard Go and GoConvey integrations make it practical for existing Go test suites. Choose another tool if parallel commands or ScalaCheck’s Pretty feature are essential.