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