Property-Based Testing with PropEr, Erlang, and Elixir

Shrinking

Question 1

• ?SHRINK(Generator, [AltGenerators, ...])
• ?LETSHRINK([Pattern, ...], [Generator, ...], Expression)

Question.

Question 2

?LETSHRINK always takes a list of arguments and generators, whereas ?LET takes any pattern and any generator in its first two arguments. When failing in a test case and needing a new simplified generator, one of the generators in the list will be used, but without the transformations being applied. A ?LET macro has no such rule and the transformation is always applied.

Question.

Question 3

The problem here is that the property expects a list coming out of the generator, but the way ?LETSHRINK works is that every single of the variable between Appetizer, Drink, Entree, or Dessert is an atom put in a list. During ...