Johannes Link

> I'm adding toolchains to Apache JMeter (see [apache/jmeter#5989](https://github.com/apache/jmeter/pull/5989)), and it turns out there's a need for configuring several Java versions: > > 1. Java for build purposes > >...

Sounds like a very reasonable idea. Currently I've no build setup that allows me to use Java 17 features. I wonder if an additional module for Java 17 would do.

Since work for Jqwik2 will probably be started in the upcoming months, this feature might have to wait till then.

Kotlin only > Another solution with Kotlin where we use custom arbitrary for some subtypes: > > Usage: > > ```kotlin > anyForSubtype { > use { mySubTypeArbitrary() } >...

Since all actions are added without weight, all get the same weight. Thus, end of chain has a probability of 1/4. The distribution you show seems pretty close to what...

> Is this the desired behavior? It's the only logical outcome from throwing the dice with the given probabilities. If you want longer chains, you might just use `withMaxTransformations(size)`. Often...

> Does `withMaxTransformations` create chains with up to `maxLength` or exactly `maxLength`? Without a `Transformer.endOfChain()` action it should be exactly `maxLength`.

It's fair to discuss jqwik's programming model. I prefer the current one over the QuickTheories approach because it allows me to leverage the JUnit Platform's way of test discovery, execution...

> That said I personally definitely prefer the QuickTheories approach. Partly because it's more flexibile (you can use it in any test engine or no test engine at all) and...

If you find an easy solution, go ahead. My recommendation, though: Don't dive too deep into type matching code if there is an easy workaround - just use `Arbitrary` here....