Provides the macros and functions for property based testing using proper as base implementation. PropCheck supports many features of PropEr, but the automated generation of test data generators is only partially supported due to internal features of PropEr focussing of Erlang only

This modules contains all basic type generators from PropEr. It is automatically available by use PropCheck

The finite state machine approach for stateful systems, which is closer to Erlangs gen_fsm model

This module defined the property/4 macro. It is automatically available by using PropCheck

This module defines the :proper_statem behaviour, useful for testing stateful reactive systems whose internal state and side-effects are specified via an abstract state machine. Given a callback module implementing the :proper_statem behaviour (i.e. defining an abstract state machine of the system under test), PropEr can generate random symbolic sequences of calls to that system