This repository has been archived on 2025-08-18. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.
GGS/lib/eqc
2011-05-05 02:46:21 +02:00
..
doc Added eqcmini quickcheck library to lib/ 2011-05-05 02:46:21 +02:00
ebin Added eqcmini quickcheck library to lib/ 2011-05-05 02:46:21 +02:00
examples Added eqcmini quickcheck library to lib/ 2011-05-05 02:46:21 +02:00
include Added eqcmini quickcheck library to lib/ 2011-05-05 02:46:21 +02:00
LicenceAgreement.html Added eqcmini quickcheck library to lib/ 2011-05-05 02:46:21 +02:00
LicenceAgreement.rtf Added eqcmini quickcheck library to lib/ 2011-05-05 02:46:21 +02:00
README Added eqcmini quickcheck library to lib/ 2011-05-05 02:46:21 +02:00

QuickCheck Mini

This is a fully functional stripped down version of Quviq QuickCheck. 

QuickCheck Mini is free of charge and the latest version can be
downloaded from Quviq's homepage. The Mini version of QuickCheck is
intended to support individuals and open source projects in obtaining
a better code quality without having to invest in the full version of
QuickCheck.

QuickCheck Mini is installed by copying the complete directory
eqc-.... into the Erlang library directory or by pointing to it by
using the code:add_patha/1 function in the Erlang distribution.

Examples are provided to illustrate how it works.

You can subscribe to quickcheck-questions@quviq.com by sending
"Subscribe" in the subject line. This is a community email list around
the use of QuickCheck.

Please note that although QuickCheck Mini does not require a licence
check with the Quviq licence server, it does check for a new version
each time it is started, and will notify you if one is available. No
other information is included in the request, and QuickCheck Mini will
start regardless of whether or not the version check succeeds, but
(because there is a short time-out) will start slightly more quickly
when it succeeds.