Johannes Link

> An additional or alternative approach could be adding displayName or something like that to Arbitrary, Combiner, so users could provide meaningful names. Something like that has been in my...

> For instance, if jqwik is about to print the final results, it might re-execute the test with debugging mode, so the output stacktrace is easier to understand. It wouldn't...

Haven’t checked the implementation but I wonder if that could/should be a platform feature? > Am 04.04.2018 um 15:12 schrieb Christian Stein : > > Jupiter will soon support parallel...

The idea is to generate it after generating the documentation, which is a task of its own in https://github.com/jlink/jqwik/blob/master/documentation/build.gradle. It would probably require to include some of the markdown to...

@Bluesoul02 I’ll have a look at it. Tomorrow.

@Bluesoul02 Many thanks for tackling the issue! Let's work it out in the PR.

@gtrefs Thanks for starting a discussion I've been trying to avoid for some time ;-) The example you refer to is definitely not a model-based property but a simple state-based...

"Testing as you did in your tests requires that you trust the top method of your stack works properly": Not really. Here's the thought experiment: Which broken implementation of `top()`...

The difference between preconditions and postconditions is that preconditions must be explicit because they are used to determine if an action in the sequence is valid at all. Postconditions are...

As for generating sequences without considering preconditions: In an extreme case most actions from a randomly generated sequence might not be applicable at runtime when considering preconditions. Since the current...