Improves one of our shrinking passes for integers which require a
constant relative difference to trigger the bug.
The canonical version of these notes (with links) is on readthedocs.
Improves one of our shrinking passes for integers which require a
constant relative difference to trigger the bug.
The canonical version of these notes (with links) is on readthedocs.