# PropEr: A QuickCheck-inspired property-based testing tool for Erlang

Copyright © 2010-2013 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas

Authors: Manolis Papadakis.

This is PropEr's Reference Manual. If you are new to PropEr, you should first read the User Guide (available online at PropEr's website, and also in PropEr's README file). The bulk of the PropEr API is contained in the documentation for the following modules:

`proper`
  how to write properties, how to invoke PropEr, different modes of operation
`proper_types`
  how to write input data generators for properties
`proper_symb`
  writing generators for ADTs, both manually and automatically
`proper_typeserver`
  more information on PropEr's integration with the Erlang type language
`proper_fsm`
  using PropEr to test stateful systems modeled as finite state machines
`proper_statem`
  using PropEr to test stateful reactive systems specified via an abstract state machine
`proper_unicode`
  generating unicode strings and binaries

Generated by EDoc