QCheck
6.0#7 in property-based testing toolsFree planFree planLinux
VisitQCheck vs ScalaCheck
ScalaCheck
6.6#2 in property-based testing toolsFree planFree planLinuxmacOSWindows
VisitWhat both publish
| Fact | QCheck | ScalaCheck |
|---|---|---|
| Documentation | The project documentation site lists documentation for five opam packages, with qcheck-core, qcheck, qcheck-alcotest, and qcheck-ounit at version 0.91 and ppx_deriving_qcheck at 0.9. | The site links to a continuously developed user guide and API documentation for the latest release. |
| Installation | QCheck can be installed through opam, and the README recommends qcheck-core for a minimal dependency set. | The site recommends adding org.scalacheck %% scalacheck % 1.19.0 % test as an sbt dependency. |
| Integrations | The project provides integration layers for OUnit and Alcotest, and the README describes using QCheck with Rely through an npm package. | The site says ScalaCheck works with sbt and is integrated with ScalaTest, specs2 and LambdaTest. |
| License | The repository identifies its license as BSD-2-Clause and says the code is released under the BSD license. | The project build identifies its license as BSD-3-Clause. |
| Maintainer | The project page says it is maintained by c-cube, whose GitHub profile identifies Simon Cruanes. | The project build lists Rickard Nilsson as a developer. |
| Purpose | QCheck is a QuickCheck-inspired property-based testing library for OCaml. | ScalaCheck is a Scala library for automated property-based testing of Scala or Java programs. |
QCheck plans
- QCheckFree
ScalaCheck plans
- ScalaCheckFree
Pick QCheck if…
QCheck suits OCaml developers who want to test properties over generated inputs rather than rely only on individual examples. Its runner and integration packages cover projects using OUnit or Alcotest.
Pick ScalaCheck if…
ScalaCheck is suited to developers testing Scala or Java code with randomized property checks. It fits projects using sbt or the listed testing integrations, and can also be run standalone.