test.check

What test.check is

test.check is a free property-based testing tool for Clojure and ClojureScript. Developers define properties expected to hold across inputs, and the tool generates values to check them instead of relying only on individually enumerated test cases. When a property fails, test.check tries to reduce the failing input to a smaller example, including for custom generators. It includes built-in generators and combinators for compound and recursive generators, and its documentation demonstrates sampling values and creating a lazy sequence of samples. The project provides dependency instructions for Clojure CLI with deps.edn, Leiningen, and Maven. The repository lists 1.1.3 as the latest stable version. Version 0.9.0 and later requires Clojure 1.7.0 or newer; the repository also flags a breaking change for ClojureScript in the 0.8.* releases. It supports the clojure.test and cljs.test runners, with reproducible failures. test.check is distributed under the Eclipse Public License, the same license as Clojure.

Who it suits

It suits Clojure and ClojureScript developers who want generated inputs to check properties and shrink failing cases. It supports clojure.test and cljs.test.

Getting started

1. Open the project repository at https://github.com/clojure/test.check
2. Choose dependency instructions for Clojure CLI/deps.edn, Leiningen, or Maven
3. Add test.check to the project
4. Use its generators and properties with clojure.test or cljs.test

Verdict

test.check offers property-based testing, input generation, and shrinking for Clojure and ClojureScript projects. Check the stated Clojure requirement and ClojureScript release note before adopting it.