Bump jqwik from 1.6.5 to 1.7.0

[dependabot]

Bumps jqwik from 1.6.5 to 1.7.0.

Release notes

Sourced from jqwik's releases.

Stateful Properties Afresh

New and Enhanced Features

• A new and more powerful approach to stateful testing has been introduced into jqwik. It's still "experimental" but supposed to be propagated to "stable" very soon.

• Promoted APIs from EXPERIMENTAL to MAINTAINED:

  • net.jqwik.api.ArbitrarySupplier
  • net.jqwik.api.Arbitraries.subsetOf(Collection<T>)
  • net.jqwik.api.Arbitraries.subsetOf(T...)
  • net.jqwik.api.JavaBeanReportingFormat
  • net.jqwik.api.arbitraries.StringArbitrary.repeatChars(double)
  • net.jqwik.api.domains.DomainContext.initialize(PropertyLifecycleContext)
  • net.jqwik.api.footnotes.EnableFootnotes
  • net.jqwik.api.footnotes.Footnotes
  • Large chunks of the hooks and extension API in package net.jqwik.api.lifecycle

• Upgrade to JUnit Platform 1.9.1

Breaking Changes

• Default configuration for jqwik.failures.after.default is now SAMPLE_FIRST. Set it to PREVIOUS_SEED if you want the behaviour of jqwik < 1.7.

• Arbitrary.filter(Predicate<T> predicate, int maxMisses) has swapped arguments: Arbitrary.filter(int maxMisses, Predicate<T> predicate) to allow for a more idiomatic use in Kotlin. See jlink/jqwik#334.

• Removed method ActionSequenceArbitrary.ofMinSize(int) which had been deprecated in 1.5.3

• Removed method ActionSequenceArbitrary.ofMaxSize(int) which had been deprecated in 1.5.3

• Removed method Combinators.withBuilder(Supplier) which had been deprecated in 1.5.4

• Removed method Combinators.withBuilder(Arbitrary) which had been deprecated in 1.5.4

• Removed type Combinators.BuilderCombinator which had been deprecated in 1.5.4

• Removed type Combinators.CombinableBuilder which had been deprecated in 1.5.4

• Removed method Functions.FunctionWrapper.returns(Arbitrary) which had been deprecated in 1.6.0

• Removed method CharacterArbitrary.digit() which had been deprecated in 1.5.3

Bug Fixes and Improvements

• Generated TLDs in web-module will no longer start with digit. See jlink/jqwik#316.

... (truncated)

Commits

• 7963324 Update TODOs after release
• b3051f5 Set version to 1.7.0
• a1c53e9 Updated module-info.java files
• 583f93b Checked for bug on shrinking cancel, but couldn't find one.
• a44b4aa Fix grammar in generation-of-edge-cases.md
• e75a22e Improved documentation for edge cases
• d14aa7a Fixed minor quirks in stateful-testing.md
• b51d9b0 Added paragraph about invariants to stateful-testing.md
• 5ec9815 Add section on chain size to stateful-testing.md
• 76e72b6 Added new paragraph to stateful-testing.md
• 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]

Superseded by #14.