quickcheck

Property tester

Automated testing of program properties in Haskell programs.

Automatic testing of Haskell programs.

728 stars

28 watching

120 forks

Language: Haskell

last commit: 2 months ago

Linked from 2 awesome lists

Backlinks from these awesome lists:

Related projects:

Repository	Description	Stars
bodigrim/smallcheck	A testing library that checks Haskell code properties exhaustively using automatic test case generation	134
thejohnfreeman/autocheck	A C++17 testing library for property-based testing using QuickCheck or SmallCheck.	125
nicoabie/quickcheck	Randomized testing of program properties in Prolog	22
quickchick/quickchick	A Coq plugin for property-based testing of software systems	259
rudymatela/fitspec	Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement.	74
hspec/hspec	A testing framework for Haskell programming language	755
fscheck/fscheck	Automatically tests .NET programs by generating random test cases based on predefined properties	1,169
typelift/swiftcheck	A testing library that generates random data to test program properties in Swift	1,415
hedgehogqa/haskell-hedgehog	A testing framework that automatically generates and runs property tests to ensure software behaves correctly under various conditions.	676
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
unkindpartition/tasty	A modern testing framework for Haskell	643
iand675/haskell-checklist	A checklist to help Haskell developers ensure their code is readable, maintainable and follows best practices.	68
haskell/threadscope	A graphical tool for profiling parallel programs in multiple programming languages.	154
hspec/hunit	A unit testing framework for Haskell	126
haskell-ci/haskell-ci	Generates CI workflows for multiple versions of the Haskell programming language compiler	438