Execution Model
Understand the flow of the execution for property-based testing.
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.
Get hands-on with 1400+ tech skills courses.