Closed jobjo closed 3 years ago
This is a different shrink strategy that is better at recursive structures. Especially for shrinking lists by removing sub-lists.
This is a different shrink strategy that is better at recursive structures. Especially for shrinking lists by removing sub-lists.