QuickCheck Mini is a stripped down version of Quviq QuickCheck.
This version supports generators and shrinking, but mainly for testing side-effect free code. For code with side-effects, concurrent code or distributed applications, Quviq QuickCheck offers state machine libraries, component libraries and PULSE (a scheduler). A full QuickCheck licence is available from Quviq.
The full QuickCheck is also available via quickcheck-ci.com, a web service for QuickCheck continuous integration. It is free for open source projects.
Add eqc as a dependency to your (test) rebar configuration:
{deps, [{eqc, ".*", {git, "git://github.com/rpt/eqcmini.git"}}]}.QuickCheck is designed to be installed in the lib directory of your
Erlang installation. The easiest way to do so is to run the
installation program
eqc_install:install().This should be run in the same directory that this README file is in.
NOTE: you must have write access to your Erlang installation, which under Windows normally means you must run Erlang as the administrator for this to succeed, and under Linux you may need sudo.
