How do we get shrunken test cases?

[dank-cruise]

First of all, great project, I love it! It's super useful. Thanks for sharing it with the world.

I notice that FuzzTest has a concept of shrinking (as many property-based testing libraries and fuzzing libraries do). How do I use this? I've created a fuzztest. I've created Domains for my code under test, and fuzztest has found bugs in my code, but it won't shrink the failing stimulus. It's obviously harder to root cause my errors when fuzztest found the error using a complex stimulus, so how do I get fuzztest to shrink when an error is found?

[pca006132]

There is a minimizer script in tools directory. In short you have to deal with some undocumented environment variables...

I have a simpler script here: https://github.com/elalish/manifold/blob/ef4df32ba8321d537c92e8a9e4fce7a788f58cbb/minimizer.sh, in case it is useful to you.