search

Plutonomicon / Shrinker

Shrink Plutus scripts
Apache License 2.0
6 stars 3 forks source link

Shrinker hangs #4

Open anton-k opened 2 years ago

anton-k commented 2 years ago

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 commented 2 years ago

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

import Control.Monad.Reader (MonadReader, ReaderT)
import Control.Monad.State (MonadState, State, StateT)
Geometer1729 commented 2 years ago

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 commented 2 years ago

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)