Property Structure

Understand the property structure to make writing properties easier.

We'll cover the following...

General property structure

A property has three parts for both Erlang and Elixir:

  1. Type generator
  2. Instance of type
  3. Property expression
%0 node_1 Property Structure node_2 Type Generator node_1->node_2 node_3 Instance of Type node_1->node_3 node_4 Property Expression node_1->node_4
Property Structure

The functions generate the data for the test case we enter in the TypeGenerator position, called the generators ...