haskell-hedgehog
Property tester
A testing framework that automatically generates and runs property tests to ensure software behaves correctly under various conditions.
Release with confidence, state-of-the-art property testing for Haskell.
677 stars
17 watching
107 forks
Language: Haskell
last commit: 3 months ago haskellproperty-based-testingproperty-testingquickchecktesttestingtesting-tools
Related projects:
| Repository | Description | Stars |
|---|---|---|
| hedgehogqa/fsharp-hedgehog | A property-based testing framework for .NET | 272 |
 bodigrim/smallcheck | A testing library that checks Haskell code properties exhaustively using automatic test case generation | 134 |
 nick8325/quickcheck | Automated testing of program properties in Haskell programs. | 726 |
 thejohnfreeman/autocheck | A C++17 testing library for property-based testing using QuickCheck or SmallCheck. | 125 |
 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 |
 hspec/hspec | A testing framework for Haskell programming language | 751 |
 rudymatela/fitspec | Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. | 74 |
| hspec/hunit | A unit testing framework for Haskell | 125 |
 google/openhtf | A Python framework designed to simplify hardware testing by abstracting away test setup and execution complexities. | 536 |
 alfert/propcheck | A property-based testing framework for Elixir | 376 |
 typelevel/scalacheck | A library used to verify properties of software through automated tests | 1,941 |
 codedownio/sandwich | A test framework for Haskell that enables developers to write and run tests for their code. | 68 |
 nomeata/inspection-testing | A tool that allows developers to embed assertions about intermediate code in their Haskell programs and have them checked by the compiler. | 173 |
 quickchick/quickchick | A Coq plugin for property-based testing of software systems | 254 |
 scalaprops/scalaprops | A property-based testing library for Scala that provides features like flexible parameter settings and deterministic testing. | 277 |