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

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