How State Machine Properties Run
Understand the execution model of FSM properties in both the abstract and real phases.
We'll cover the following...
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:
The two ...