Closed stevana closed 5 years ago
stack build --fast --test --ta="--quickcheck-replay=694684 --pattern=RaceBugParallel" sometimes fails with:
stack build --fast --test --ta="--quickcheck-replay=694684 --pattern=RaceBugParallel"
*** 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
stack build --fast --test --ta="--quickcheck-replay=694684 --pattern=RaceBugParallel"
sometimes fails with: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