Execution Model
Understand the flow of the execution for property-based testing.
We'll cover the following...
Let’s look at the prop_test() property being tested by the framework to figure out what the macro ends up doing at run time. Let’s take a look in the terminal widget below.
You can use the following terminal to run the command rebar3 proper to see the output.
Note: The setup has been done for you, so just run the commands to learn the concepts.
In this output, PropEr finds our test suite (the ...