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

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

Version: May 18 2021 22:41:23

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