Johannes Link

An Extension API is what I’m currently working on. For a RegexArbitrary I think you would not need it though.

@mmerdes The article you link to really seems to offer a low effort approach that might work. Don’t you want to give it a try?

This would enable an interesting workflow: Start with a few examples and let the lib generate regexes from that, which can then be validated/modified by hand.

Link about the problem of well-balanced generation: https://www.drmaciver.com/2017/03/fully-automated-luxury-boltzmann-sampling-for-regular-languages/ And a simple implementation: https://github.com/hyperpape/needle/blob/main/needle-compiler/src/test/java/com/justinblank/strings/RegexGenerator.java

Moreover, the `Chain` abstraction introduced in 1.7.0 could also be helpful for implementing regexs. Here's an example: https://github.com/jlink/jqwik/blob/main/documentation/src/test/java/net/jqwik/docs/state/RegexChainExample.java

@SimY4 Cool project. Just browsed through the jqwik-related code and stumbled upon the shrinking. It looks (I may be wrong though) as if shrinking is not deterministic since some kind...

@schauder Thanks for the suggestion. In principle, this looks like a useful feature to me. There's one open question, though: When in the lifecycle of a property try should the...

> Maybe a warning could be logged when lazy footnotes are present and failure only manifests through an extension, that those don't get properly evaluated. Maybe that's doable, maybe it...

@vlsi Thanks for the suggestion. Guided generation looks interesting. Can you give a concrete example how you imagine the integration of ZEST with jqwik could look like for the user?...

@vlsi As for your second question: > I wonder if jqwilk engine can be integrated with JUnit5's default one. I'm probably never going to do that. Here's my argument: Jupiter,...