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