Execution Model

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