How Stateful Properties Run
Explore the two-phase execution of stateful properties in PropEr. Understand how abstract command sequences are generated and validated, then applied to the real system with pre- and post-condition checks, including shrinking for failure handling.
We'll cover the following...
We'll cover the following...
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 ...