PropEr vs ScalaCheck
PropEr
proper-testing.github.ioScalaCheck
scalacheck.orgSide by side
| Figure | PropEr | ScalaCheck |
|---|---|---|
| Price from | Free | Free |
| Free plan | Yes | Yes |
| Free trial | — | — |
| Open source | — | — |
| Windows | — | Yes |
| macOS | — | Yes |
| Linux | — | Yes |
| Self-hosted | Yes | — |
| Plans published | 1 | 1 |
| Spec score · Property-Based Testing Tools | 7.5 (#14) | 8.0 (#8) |
| Installation | The user guide describes obtaining source from GitHub, compiling it with make, or installing it with Homebrew. | The site recommends adding org.scalacheck %% scalacheck % 1.19.0 % test as an sbt dependency. |
| Integrations | The user guide explains using PropEr with EUnit and describes handling a shared ?LET macro and captured output. | The site says ScalaCheck works with sbt and is integrated with ScalaTest, specs2 and LambdaTest. |
| License | PropEr is open-source software distributed under the GPL, version 3 or later. | The project build identifies its license as BSD-3-Clause. |
| Purpose | PropEr is a tool for automated, semi-random, property-based testing of Erlang programs. | ScalaCheck is a Scala library for automated property-based testing of Scala or Java programs. |
| Support | The developers invite comments, suggestions, feature requests, bug reports, patches, and other contributions through the project website, GitHub, or email. | The documentation page links to GitHub bug reports, a mailing list and Stack Overflow. |
Plans
In their own words
PropEr
PropEr is a free, open-source testing tool for Erlang programs. It performs automated, semi-random property-based testing and can generate input data from Erlang type declarations. Functions can be tested automatically from information in their Erlang specifications, while properties are written as Erlang expressions with predefined macros. PropEr also supports model-based random testing for stateful systems and targeted property-based testing using search-based techniques. Failing cases can be shrunk, and the project supports EUnit and Common Test. Constraints that Erlang’s type language cannot express can be handled with custom generators; filtering may keep trying random values until one passes. The generator language differs from Erlang’s type language for list expressions, including support for particular list lengths and element types. PropEr is self-hosted, supports Erlang, and is distributed under GPL version 3 or later. The guide describes installation from GitHub source, with make, or through Homebrew.
ScalaCheck
ScalaCheck is a free Scala library for automated property-based testing of Scala and Java programs. It checks defined properties against randomized input parameters and reports the arguments that produce a failure. The library supports parameterized cases and parallel execution, and can run on its own with a built-in test runner. For sbt projects, the site shows how to add it as a test dependency; it is also integrated with ScalaTest, specs2 and LambdaTest. ScalaCheck has no external dependencies beyond the Scala runtime. Build artifacts are published in the Central Repository, with an sbt dependency declaration available from the download page. Documentation includes a user guide and API reference. The site lists version 1.19.0, released September 6, 2025. The project identifies the BSD-3-Clause license and lists a security policy. Its build defines JVM, Scala.js and Scala Native platforms, and its README says the Gradle plugin supports Scala.js and Scala Native. The site names the Scala compiler and Akka among projects that use it.