scalacheck
Property tester
A library used to verify properties of software through automated tests
Property-based testing for Scala
2k stars
57 watching
407 forks
Language: Scala
last commit: 9 days ago
Linked from 2 awesome lists
property-testingscalascalacheck
Related projects:
Repository | Description | Stars |
---|---|---|
scalaprops/scalaprops | A property-based testing library for Scala that provides features like flexible parameter settings and deterministic testing. | 277 |
typelift/swiftcheck | A testing library that generates random data to test program properties in Swift | 1,414 |
typelevel/simulacrum | A library that simplifies the use of type classes in Scala | 936 |
bodigrim/smallcheck | A testing library that checks Haskell code properties exhaustively using automatic test case generation | 134 |
scalatest/scalatest | A testing toolkit for writing and running tests for Scala and Java software | 1,154 |
scalaprops/scalaprops-cross-example | An open-source project demonstrating the use of scalaprops for property-based testing across multiple platforms (JVM, JS, Native) in Scala. | 3 |
thejohnfreeman/autocheck | A C++17 testing library for property-based testing using QuickCheck or SmallCheck. | 125 |
alfert/propcheck | A property-based testing framework for Elixir | 376 |
clojure/test.check | A testing tool that allows developers to write concise, powerful tests by defining properties of functions that should hold true for all inputs. | 1,122 |
fscheck/fscheck | Automatically tests .NET programs by generating random test cases based on predefined properties | 1,167 |
nick8325/quickcheck | Automated testing of program properties in Haskell programs. | 726 |
typelevel/skunk | A data access library for building Scala applications that interact with Postgres databases. | 1,588 |
rudymatela/fitspec | Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. | 74 |
typelevel/spire | A numeric library for Scala providing powerful number types and abstractions for generic, fast, and precise computations. | 1,764 |
scalameta/munit | A testing library for Scala that provides actionable errors and extensible APIs for writing reliable tests | 431 |