José Valim

Thank you, @alfert! Do you think checking for preconditions is a property of the model or of the SUT?

Apologies but I am getting a bit confused here. In both the Proper/EQC example, the `next_state` hook receives the value of the execution, so doesn't it mean we need to...

> Now I am confused. What do you mean by execute in order? What I meant to ask is this: because the `next_state` function receives the execution result, it means...

To be honest, I am not convinced about any. My favorite approach would probably be: ```elixir aggregate all list

> This would not work, if you want to use several aggregations at the same time I see, thanks! > @alfert I do not understand your comment regarding annotating the...

String.length considers graphemes and not codepoints, so maybe that’s it? -- *José Valimwww.plataformatec.com.br Founder and Director of R&D*

@alfert this sounds very exciting but I am having some difficulty in seeing some of the use cases. Could you please expand on that area? Thank you!

Thanks @alfert. I thought you were hinting at something else when you said about relying on reduce. :) Do you have a proposal about the API? Maybe something you already...

This is ultimately @whatyouhide's call to make but maybe we could provide an `unfold`/`reduce` operation and leave the rest of the stateful generators up to libraries so we have a...

Bad seed is definitely interesting and in case we can't figure out exactly how to do the saving and loading, it is the minimum we can do to get started....