Gregor Trefs

Not replying to all of your comments, because this is a lot to digest. I don't disagree that a model sometimes seems a bit excessive and can be avoided. However,...

"Should postconditions have their own place in state-based properties? I'm also not sure about that because then there'd be two different places in which one can do postcondition checking. Having...

"Most of the time results are similar but there are cases where a dedicated sequence creation phase will result in more powerful properties. The downside is that shrinking sequences will...

No interest in this?

Well I could move them out of the regular Java folder and use it as file repo for both projects.

Thanks @jlink, I was a bit blind there. I changed the code as follows: ``` return ActionChain.startWith(MyStringStack::new) .withAction(10,new PushAction()) .withAction(10, pop()) .withAction(10, new ClearAction()) .withAction(1, Action.just(Transformer.endOfChain())) .infinite(); ``` I was...

> > Is this the desired behavior? > > It's the only logical outcome from throwing the dice with the given probabilities. It is, but this was not the intent...

I did not yet read all of it but I really like this "translation". I did not read the oroginal, yet. In section 4.2 you forgot to replace k with...

Maybe a little explanation what integrated shrinking is would help. Is there a way to explain it in 3 or 4 sentences?

I found a t here: Informally, we expect the effect of inserting key1 value1 into t before calling. Should be tree.