QCheck/SML

This manual describes QCheck/SML (version 1.1), an automatic testing library for Standard ML. It is modeled after the QuickCheck library for Haskell (ICFP 2000) by Koen Claessen and John Hughes, with many thanks. QCheck/SML (including this manual) is free software. You may redistribute and/or modify it under the terms of the GNU Lesser General Public License (LGPL) as published by the Free Software Foundation. See section GNU Lesser General Public License.

Main web page: http://contrapunctus.net/league/haques/qcheck/
Bundled releases: http://comsci.liu.edu/~league/dist/qcheck/
RSS feed: http://comsci.liu.edu/darcsweb/darcsweb.cgi?r=qcheck/trunk;a=rss
Browse repo.: http://comsci.liu.edu/darcsweb/darcsweb.cgi?r=qcheck/trunk;a=summary
Checkout: darcs get http://comsci.liu.edu/~league/dist/qcheck/trunk qcheck

1. Overview		What is QCheck?
2. Installation		How do I build and install it?
3. Specifying test cases		QCheck can extract cases from files.
4. Generating test cases		Test cases can be randomly generated.
5. Properties		Specifying properties to be tested.
6. Settings		Many settings are configurable.
7. Release notes		Summary of user-visible changes.
8. GNU Lesser General Public License
Index

[Top]

[Contents]

[Index]

[ ? ]

This document was generated by Chris League on April, 14 2008 using texi2html 1.78.