I was looking at https://github.com/jlink/shrinking-challenge and noticed it has benchmarks for Hypothesis. I think it would be handy to have benchmarks for Minithesis too, so it's easy to see how big of a difference the complexity of Hypothesis's shrinker makes when compared to the simpler (but easier to port) Minithesis shrinker.
I was looking at https://github.com/jlink/shrinking-challenge and noticed it has benchmarks for Hypothesis. I think it would be handy to have benchmarks for Minithesis too, so it's easy to see how big of a difference the complexity of Hypothesis's shrinker makes when compared to the simpler (but easier to port) Minithesis shrinker.