Bump jqwik from 1.1.0 to 1.5.3

[dependabot-preview]

Bumps jqwik from 1.1.0 to 1.5.3.

Release notes

Sourced from jqwik's releases.

Influence Distribution of Container Size

New and Enhanced Features

• You can now influence the random distribution of the size of generated multi-value containers (sets, lists, arrays, streams, iterators and maps).

• You can now influence the random distribution of the size of generated strings.

• All container-based arbitraries (e.g. List, Sets, Strings) now generate containers without duplicated elements with a higher probability even when they have many elements.

• String arbitraries now generate duplicate chars and series of chars with a higher probability.

• Added CharacterArbitrary.numeric() and CharacterArbitrary.alpha().

Breaking Changes

• ActionSequenceArbitrary no longer extends SizableArbitrary.

• ActionSequenceArbitrary.ofMinSize() and ActionSequenceArbitrary.ofMaxSize() is now deprecated.

• CharacterArbitrary.digit() is now deprecated.

Bug Fixes

• Module name now correctly set for testing, web and time modules. See jlink/jqwik#201.

• No longer throwing ConcurrentModificationException when using sample() within another generator. This happened in Java >= 11 only. See jlink/jqwik#205

Implicit Flat Mapping and new DomainContextBase

New and Enhanced Features

• Added new base class DomainContextBase, which changes the way how you typically provide domain contexts.

  That's the reason why AbstractDomainContextBase is now deprecated.

• Provider Methods annotated with @Provide now support implicit flat mapping.

• More progress on

... (truncated)

Changelog

Sourced from jqwik's changelog.

1.5.3

New and Enhanced Features

• You can now influence the random distribution of the size of generated multi-value containers (sets, lists, arrays, streams, iterators and maps).

• You can now influence the random distribution of the size of generated strings.

• All container-based arbitraries (e.g. List, Sets, Strings) now generate containers without duplicated elements with a higher probability even when they have many elements.

• String arbitraries now generate duplicate chars and series of chars with a higher probability.

• Added CharacterArbitrary.numeric() and CharacterArbitrary.alpha().

Breaking Changes

• ActionSequenceArbitrary no longer extends SizableArbitrary.

• ActionSequenceArbitrary.ofMinSize() and ActionSequenceArbitrary.ofMaxSize() is now deprecated.

• CharacterArbitrary.digit() is now deprecated.

Bug Fixes

• Module name now correctly set for testing, web and time modules. See jlink/jqwik#201.

• No longer throwing ConcurrentModificationException when using sample() within another generator. This happened in Java >= 11 only. See jlink/jqwik#205

1.5.2

... (truncated)

Commits

• 975c3d6 Update documentation to 1.5.3
• f953d45 Added user guide content for size/length distribution
• 442ea88 Made DateTests.DateBetweenMethod.betweenDateSetWhenBetweenSet more robust
• ba19574 Added CharacterArbitrary.numeric() and alpha()
• 91172dc Added StringArbitrary.withLengthDistribution()
• 91d4be1 Added ArrayArbitrary.withSizeDistribution()
• 85e40b3 ShrinkableActionSequence no longer extends SizableArbitrary
• a3506f5 Added MapArbitrary.withSizeDistribution()
• 22f3206 Added size distribution for streams and iterators
• d1da8f4 Update TODO
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
• @dependabot use these labels will set the current labels as the default for future PRs for this repo and language
• @dependabot use these reviewers will set the current reviewers as the default for future PRs for this repo and language
• @dependabot use these assignees will set the current assignees as the default for future PRs for this repo and language
• @dependabot use this milestone will set the current milestone as the default for future PRs for this repo and language
• @dependabot badge me will comment on this PR with code to add a "Dependabot enabled" badge to your readme

Additionally, you can set the following in your Dependabot dashboard:

• Update frequency (including time of day and day of week)
• Pull request limits (per update run and/or open at any time)
• Out-of-range updates (receive only lockfile updates, if desired)
• Security updates (receive only security updates, if desired)