How State Machine Properties Run

Abstract phase

PropEr divides the execution of a finite state machine test into two phases, one abstract and one real. The abstract phase is used to create a test scenario, using only the model and command generation callbacks, which are called to build out the sequence of calls that will later be applied to the system.

A graphical representation might look like this: