Execution Model
Explore how PropEr executes property tests by expanding data generators, running properties against generated inputs, and validating the outcomes. Understand the mechanics behind PropEr macros and learn to debug generators using the Erlang shell for effective property-based testing.
We'll cover the following...
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 ...