peter ce4b9a42f2 jetCheck: smarter shrinking when item generation depends on previous items ...

For generators that generate sequences of commands with some internal model,
next commands might depend on the state of the model, modified by previous commands.

When previous commands are removed by shrinking, replaying generators would result
in a different models, and sampling from model elements would fail because
the model element counts have changed, and so should indices used for sampling.

Now we detect that we're given an int distribution that's different from the original,
and try to guess possible updated int values according to the new distribution.

2017-11-14 19:21:54 +01:00

..

src/jetCheck

jetCheck: smarter shrinking when item generation depends on previous items

2017-11-14 19:21:54 +01:00

test/jetCheck

jetCheck: smarter shrinking when item generation depends on previous items

2017-11-14 19:21:54 +01:00

jetCheck.iml

…