test.check
Property tester
A testing tool that allows developers to write concise, powerful tests by defining properties of functions that should hold true for all inputs.
QuickCheck for Clojure
1k stars
63 watching
109 forks
Language: Clojure
last commit: 5 months ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
clojure-expectations/expectations | A minimalist unit testing framework for Clojure. | 395 |
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 |
typelift/swiftcheck | A testing library that generates random data to test program properties in Swift | 1,415 |
nick8325/quickcheck | Automated testing of program properties in Haskell programs. | 728 |
hedgehogqa/haskell-hedgehog | A testing framework that automatically generates and runs property tests to ensure software behaves correctly under various conditions. | 676 |
bhauman/devcards | A tool to enhance ClojureScript development by allowing developers to interactively test and visualize code examples in an immersive interface. | 1,530 |
clojure/core.typed | An optional type system for Clojure | 1,287 |
jstepien/mutant | A tool that helps ensure Clojure code is robust by introducing artificial defects and testing its reliability | 103 |
typelevel/scalacheck | A library used to verify properties of software through automated tests | 1,944 |
fscheck/fscheck | Automatically tests .NET programs by generating random test cases based on predefined properties | 1,169 |
quickchick/quickchick | A Coq plugin for property-based testing of software systems | 259 |
alfert/propcheck | A property-based testing framework for Elixir | 377 |
lambdaisland/kaocha | A comprehensive test runner for Clojure and ClojureScript applications. | 805 |
gfredericks/test.chuck | A utility library for test.check with features for scaling test runs and generating random data. | 216 |