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

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

Version: May 19 2021 06:40:25

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:

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

Generated by EDoc