jboverfelt / property-based

Play with test.check

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

property-based

A project to play around with property-based testing using test.check

Installation Instructions

  • Download Leiningen here and follow the installation instructions
  • Ensure Java 7 or higher is installed
  • Change to this directory and run lein test

Sample Output

Sample output is contained in test.check.out

Report

The report is contained in test.check-report.pdf

License

Copyright © 2015 Justin Overfelt

Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.

About

Play with test.check

License:Eclipse Public License 1.0


Languages

Language:Clojure 100.0%