Shrinker hangs

[anton-k]

Without shrinker it takes about 9 sec to run test suite on the gero-gov project.
When I've added shrinker I had to stop it on 7th minute. 100% cpu with memory slowly rising.

If you have access to gero-gov, you can try it out in this branch:
ak/try-shrinker

[anton-k]

It's better to use .Strict versions of them:

import Control.Monad.Reader (MonadReader, ReaderT)
import Control.Monad.State (MonadState, State, StateT)

[Geometer1729]

Sorry to hear that. Unfortunately I've been asked to pause shrinker development for the time being, when I resume I'll look into this. I'll let you know if/when I get that branch working.

[nazrhom]

Having a similar issue with shrinkScript hanging. I can only get it to work if I exclude every tactic except for curry.

(I also tried stripping all the code out of my typed validator, letting it just return true, but shrinking hangs regardless)