<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <title>PropEr: A QuickCheck-inspired property-based testing tool for Erlang </title> <link rel="stylesheet" type="text/css" href="stylesheet.css" title="EDoc"> </head> <body bgcolor="white"> <div class="navbar"><a name="#navbar_top"></a><table width="100%" border="0" cellspacing="0" cellpadding="2" summary="navigation bar"><tr><td><a href="overview-summary.html" target="overviewFrame">Overview</a></td><td><a href="http://www.erlang.org/"><img src="erlang.png" align="right" border="0" alt="erlang logo"></a></td></tr></table></div> <h1>PropEr: A QuickCheck-inspired property-based testing tool for Erlang </h1> <p>Copyright © 2010-2013 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas</p> <p><b>Version:</b> Sep 22 2018 19:52:29</p> <p><b>Authors:</b> Manolis Papadakis.</p> <p>This is PropEr's Reference Manual. If you are new to PropEr, you should first read the User Guide (available online at <a href="http://proper-testing.github.io" target="_top">PropEr's website</a>, and also in PropEr's README file). The bulk of the PropEr API is contained in the documentation for the following modules:</p> <dl> <dt><a href="proper.html"><code>proper</code></a></dt> <dd>how to write properties, how to invoke PropEr, different modes of operation</dd> <dt><a href="proper_types.html"><code>proper_types</code></a></dt> <dd>how to write input data generators for properties</dd> <dt><a href="proper_symb.html"><code>proper_symb</code></a></dt> <dd>writing generators for ADTs, both manually and automatically</dd> <dt><a href="proper_typeserver.html"><code>proper_typeserver</code></a></dt> <dd>more information on PropEr's integration with the Erlang type language</dd> <dt><a href="proper_fsm.html"><code>proper_fsm</code></a></dt> <dd>using PropEr to test stateful systems modeled as finite state machines</dd> <dt><a href="proper_statem.html"><code>proper_statem</code></a></dt> <dd>using PropEr to test stateful reactive systems specified via an abstract state machine</dd> <dt><a href="proper_unicode.html"><code>proper_unicode</code></a></dt> <dd>generating unicode strings and binaries</dd> </dl> <hr> <div class="navbar"><a name="#navbar_bottom"></a><table width="100%" border="0" cellspacing="0" cellpadding="2" summary="navigation bar"><tr><td><a href="overview-summary.html" target="overviewFrame">Overview</a></td><td><a href="http://www.erlang.org/"><img src="erlang.png" align="right" border="0" alt="erlang logo"></a></td></tr></table></div> <p><i>Generated by EDoc</i></p> </body> </html>