Property-Based Testing with PropEr in Elixir/

...

/

Property Structure

Property Structure

Learn how property structure works to make writing properties easier.

We'll cover the following...

General property structure

A property has 3 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 generator functions help the date enter into the type_generator position. The framework will take these generators, ...