How Stateful Properties Run

Execution of stateful properties

PropEr divides the execution of a stateful test into two phases, one abstract and one real. The abstract phase is used to create a test scenario and is executed without any code from our actual system running. Its whole objective is to take the model and command generation callbacks and call these to build out the sequence of calls that will later be applied to the system.

Put visually, it looks like this: