Bump jqwik from 1.1.0 to 1.5.1

[dependabot-preview]

Bumps jqwik from 1.1.0 to 1.5.1.

Release notes

Sourced from jqwik's releases.

Memory Leak and DateTimes

New and Enhanced Features

• Implemented @StatisticsReport.label as suggested in jlink/jqwik#146.

• Time module

  • Generation of Times
  • Generation of DateTimes got its first rudimentary support.

• Added StringArbitrary.excludeChars(char ... toExclude). See jlink/jqwik#167.

Breaking Changes

• Trying to add a numerical edge case that is outside the arbitrary's allowed range will now throw an IllegalArgumentException.

Bug Fixes

• Fixed memory leakage introduced in 1.5.0.

• Shrinking of flat mapped values would sometimes never end.

Performance is Everything

This came shortly after 1.4.0 because 1.4.0 introduce severe performance problems for some users.

New and Enhanced Features

• Added constraint annotation @NotBlank for String parameters

• Generated email addresses get a few more edge cases

Breaking Changes

• Removed Arbitrary.unique() which had been deprecated in 1.4.0

• Removed annotation @Unique which had been deprecated in 1.4.0

• Removed Arbitraries.constant(..) which had been deprecated in 1.3.2

Bug Fixes

• Fixed degraded generation performance introduced in version 1.4.0.

• Arbitrary.withoutEdgeCases() did not really get rid of all edge case generation. Now it does.

... (truncated)

Changelog

Sourced from jqwik's changelog.

1.5.1

New and Enhanced Features

• Implemented @StatisticsReport.label as suggested in jlink/jqwik#146.

• Time module

  • Generation of Times
  • Generation of DateTimes got its first rudimentary support.

• Added StringArbitrary.excludeChars(char ... toExclude). See jlink/jqwik#167.

Breaking Changes

• Trying to add a numerical edge case that is outside the arbitrary's allowed range will now throw an IllegalArgumentException.

Bug Fixes

• Fixed memory leakage introduced in 1.5.0.

• Shrinking of flat mapped values would sometimes never end.

1.5.0

New and Enhanced Features

• Added constraint annotation @NotBlank for String parameters

• Generated email addresses get a few more edge cases

• Shrinking of long Strings (length > 100) is faster now

Breaking Changes

... (truncated)

Commits

• fef9c25 Update release-notes.md to 1.5.1
• 555c95f Generated documentation for 1.5.1
• 4859232 Made distribution tests more robust
• c859a26 Documented StatisticsReport.label
• e6d4c73 Implemented StatisticsReport.label (issue 146)
• b7b9c5c Added time-module progress to release-notes.md
• 8191d86 enabled shrinking test in LocalDateTimeTests
• e0e30ac changed JavaDoc, make TimeArbitraries static, new test cases, fixed precision...
• 547f8f5 updated documentation
• 16fdd70 implicitly set precision for durations
• 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)

[dependabot-preview]

Superseded by #30.