How Stateful Properties Run
Explore how stateful properties execute in PropEr by understanding the two phases of testing: abstract test scenario generation without system interaction, followed by applying commands to the real system with precondition checks and postcondition validations. Gain insights into command sequence generation, state transitions, and failure shrinking to build reliable property-based tests.
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 ...