Execution Model
Explore how PropEr executes property tests by expanding data generators, running properties against generated inputs, and validating the outcomes. Understand the mechanics behind PropEr macros and learn to debug generators using the Erlang shell for effective property-based testing.
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 ...