Execution Model
Explore the execution model of property-based testing with PropEr in Elixir. Learn how test properties are executed, how generators produce test data, and how the framework validates these properties during test runs.
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 at it in the terminal widget below.
We can use the following terminal to run the command mix test to see the output.
Note: The setup has been done for us, so we can just run the commands to understand the concepts.
In this output, ...