Writing FSM Properties

Get started with FSM properties and take a look at the structure of the properties, the states, and the callbacks.

The property structure

The standard test suite is used, and the created test suite will have two parts:

  1. The state machine property.
  2. The model, which is a mix of callbacks and generators.

Let’s take a look at what the test suite would look like:

Get hands-on with 1300+ tech skills courses.