All Projects → typelevel → Scalacheck

typelevel / Scalacheck

Licence: bsd-3-clause
Property-based testing for Scala

Programming Languages

scala
5932 projects
shell
77523 projects

Projects that are alternatives of or similar to Scalacheck

Kotest
Powerful, elegant and flexible test framework for Kotlin with additional assertions, property testing and data driven testing
Stars: ✭ 3,234 (+81.89%)
Mutual labels:  property-testing
leancheck
enumerative property-based testing for Haskell
Stars: ✭ 38 (-97.86%)
Mutual labels:  property-testing
pbt-frameworks
An overview of property-based testing functionality
Stars: ✭ 29 (-98.37%)
Mutual labels:  property-testing
probably
To probe what we can't prove, so the unprovable may become probable
Stars: ✭ 58 (-96.74%)
Mutual labels:  property-testing
extrapolate
generalize counter-examples of property-based testing
Stars: ✭ 13 (-99.27%)
Mutual labels:  property-testing
irrec
composable regular expressions based on Kleene algebras and recursion schemes
Stars: ✭ 14 (-99.21%)
Mutual labels:  scalacheck

ScalaCheck

Discord Join the chat at https://gitter.im/scalacheck/Lobby Continuous Integration scalacheck Scala version support

ScalaCheck is a library written in Scala and used for automated property-based testing of Scala or Java programs. ScalaCheck was originally inspired by the Haskell library QuickCheck, but has also ventured into its own.

ScalaCheck has no external dependencies other than the Scala runtime, and works great with SBT, the Scala build tool. It is also fully integrated in the test frameworks ScalaTest and specs2. You can of course also use ScalaCheck completely standalone, with its built-in test runner.

ScalaCheck is used by several prominent Scala projects, for example the Scala compiler and the Akka concurrency framework.

For more information and downloads, please visit http://www.scalacheck.org

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].