Re-centering with ?SHRINK
Learn how the ?SHRINK macro works, and when to use it to better understand the failing cases of programs.
We'll cover the following...
?SHRINK
?SHRINK is conceptually the simplest of the two macros that can be used to impact shrinking. It is best used to pick a custom zero-point toward which PropEr will try to shrink data. We can do this mainly by giving the framework a normal generator for normal cases, and then suggesting it uses other ...
Ask