Giters

advancedtelematic / quickcheck-state-machine

Test monadic programs using state machine based models

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Exception while generating shrink-list

stevana opened this issue · comments

commented

stack build --fast --test --ta="--quickcheck-replay=694684 --pattern=RaceBugParallel" sometimes fails with:

      *** Failed! (after 14 tests and 8 shrinks):
      Exception while generating shrink-list:
        transition: failed to lookup `Reference Symbolic (Var 1) in `[(Reference Symbolic (Var 0),1)]

Not throwing the error in the transition function and simply returning the same model makes the problem go away, but that isn't a proper fix.

Caught by CI: https://travis-ci.org/advancedtelematic/quickcheck-state-machine/jobs/523400373