The Shrinking Challenge
One of the major aspects in which different property-based testing libraries differ is their approach towards shrinking. In this repository I try to collect concrete examples (challenges) for shrinking together with implementations in different frameworks so that one can compare and get a feel for weaknesses and strengths.
Contributing
If you want to contribute
- New challenges
- New framework implementations
- More information about shrinking and its different aspects
...feel free to add a pull request!
What is Shrinking?
tbd
Different Shrinking Approaches
tbd
Challenges
The current challenges were stolen from this repository, which contains the code and data relevant to this paper.