Initialization takes long time about jqwik HOT 7 CLOSED

@owickstrom Thanks for the issue.

One little piece of progress in current snapshot 1.2.0-SNAPSHOT already: If you annotate the property like that:

@Property(generation = GenerationMode.RANDOMIZED)

generation will start immediately since the delay creating initialization can be skipped.
Will keep you posted.

from jqwik.

Nice! Can I also put that as default in the jqwik.properties and have the same behavior for all my properties?

from jqwik.

Bad news and good news.

Bad news #1

GenerationMode default cannot be controlled in jqwik.properties. I agree that it should though.

Good news

It's no longer necessary in your case to make the generation mode explicit since exhaustive generation detection will be shortcut much earlier and without noticable delay.

Bad news #2

1.2.1 will not be released for some time (probably till September) so you'll have to use the snapshot version available on https://oss.sonatype.org/content/repositories/snapshots.
I only publish stable snapshots so that's usually not a problem in terms of stability.

from jqwik.

Configuration of generation mode is now also possible: https://jqwik.net/docs/snapshot/user-guide.html#jqwik-configuration

from jqwik.

Very cool, I'll try the snapshot when I get the time. Thanks!

from jqwik.

Confirmed now that it works with the snapshot version. From 17s down to 500ms. Thanks again! 👍

from jqwik.

@owickstrom jqwik 1.2.1 has been released with this fix

from jqwik.