test.check

test.check is a Clojure property-based testing tool inspired by QuickCheck. The core idea of test.check is that instead of enumerating expected input and output for unit tests, you write properties about your function that should hold true for all inputs. This lets you write concise, powerful tests.

Release Info
- Latest Releases
- Changelog
Introduction
Basic Docs
- API Docs
- Cheatsheet
- Generator Examples
- Migrating from SimpleCheck
- Useful Libraries
- Examples (some of these may refer to simple-check):
- Blog posts and videos (some of these may refer to simple-check):
Advanced Docs
- Growth and Shrinking
- Other Implementations
  - QC for Haskell
  - The significantly more advanced QC for Erlang
- Papers
  - QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
Developer Docs
- Contributing
- Developer Information
Miscellaneous

Latest Releases

Release notes for each version are available in CHANGELOG.markdown
- Remember that prior to version 0.5.7, test.check was called simple-check
As of version 0.9.0, test.check requires Clojure >= 1.7.0
Please note a breaking change for ClojureScript in the 0.8.* releases.

Latest Version

CLI/`deps.edn` dependency information:

org.clojure/test.check {:mvn/version "1.1.1"}

Leiningen

[org.clojure/test.check "1.1.1"]

Maven

<dependency>
  <groupId>org.clojure</groupId>
  <artifactId>test.check</artifactId>
  <version>1.1.1</version>
</dependency>

Stable Version

Leiningen

[org.clojure/test.check "1.1.1"]

Maven

<dependency>
  <groupId>org.clojure</groupId>
  <artifactId>test.check</artifactId>
  <version>1.1.1</version>
</dependency>

If you'd like to try a SNAPSHOT version, add the sonatype repository to your project.

Miscellaneous

YourKit

YourKit is kindly supporting test.check and other open source projects with its full-featured Java Profiler. YourKit, LLC is the creator of innovative and intelligent tools for profiling Java and .NET applications. Take a look at YourKit's leading software products: