Bodo Junglas

Once/if there is a fix, I will backport it.

No, that is still on the todo-list. Unluckily it's the most complicated part and since parallel processing in go is quite different to multi-threading in java/scala, I still have to...

ScalaCheck operates a bit more simple to my understanding. It "just" generates several sequences of commands/operations and applies them in parallel on the system under test checking the expected state...

No, the IntRange should not shrink outside the given range. Can you give me a short sniplet about the different ways you construct the initial state, i.e. the working variant...

Thanks for the detailed example. There is indeed something of with command shrinker, unluckily it is not so easy to fix. So here the TLDR workaround: Make use of the...

Just after writing the comment above I came up with a new solution that required only a small change. The current version in the master branch should fix the problem.

I tested with this: https://gist.github.com/untoldwind/f78910c522f6efb81ac140891016a5da According to the output the "Index" stays within its bounds during shrinking. Is this maybe a different issue?

I think there is a slight misconception between `SystemUnderTest` and `State`: The `SystemUnderTest` is supposed to be ... well any kind of stateful system that should be tested. In the...

You are right, with a complex `SystemUnderTest` the `State` (and the corresponding `NextState` function of the commands) might become very complex as well. The general idea is the `State` should...

On first sight, the generator does not look that wrong to me. Though using the Sample() function in tests is kind of an anti-pattern since - in theory - it...