smallcheck
Property tester
A testing library that checks Haskell code properties exhaustively using automatic test case generation
Test your Haskell code by exhaustively checking its properties
134 stars
11 watching
16 forks
Language: Haskell
last commit: over 3 years agoproperty-based-testingproperty-testingsmallchecktesting
Related projects:
| Repository | Description | Stars |
|---|---|---|
 nick8325/quickcheck | Automated testing of program properties in Haskell programs. | 728 |
 thejohnfreeman/autocheck | A C++17 testing library for property-based testing using QuickCheck or SmallCheck. | 125 |
 hedgehogqa/haskell-hedgehog | A testing framework that automatically generates and runs property tests to ensure software behaves correctly under various conditions. | 676 |
 rudymatela/fitspec | Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. | 74 |
 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,124 |
 typelift/swiftcheck | A testing library that generates random data to test program properties in Swift | 1,415 |
 alfert/propcheck | A property-based testing framework for Elixir | 377 |
 typelevel/scalacheck | A library used to verify properties of software through automated tests | 1,944 |
 hspec/hspec | A testing framework for Haskell programming language | 755 |
 quickchick/quickchick | A Coq plugin for property-based testing of software systems | 259 |
 nicoabie/quickcheck | Randomized testing of program properties in Prolog | 22 |
 fscheck/fscheck | Automatically tests .NET programs by generating random test cases based on predefined properties | 1,169 |
| hedgehogqa/fsharp-hedgehog | A property-based testing framework for .NET | 273 |
 norfairking/smos | A comprehensive tool for managing text-based user interfaces and testing software properties in Haskell. | 296 |
 scalaprops/scalaprops | A property-based testing library for Scala that provides features like flexible parameter settings and deterministic testing. | 277 |