Search⌘ K
Home
Courses
Property-Based Testing with PropEr in Erlang

Property Structure

Explore the fundamental structure of properties in PropEr, focusing on the roles of type generators, instance variables, and property expressions. Understand how to define and execute property tests effectively using the ?FORALL macro in Erlang.

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 ...