Bump net.jqwik:jqwik from 1.7.4 to 1.8.0

[dependabot]

Bumps net.jqwik:jqwik from 1.7.4 to 1.8.0.

Release notes

Sourced from net.jqwik:jqwik's releases.

Consolidate and Move Kotlin forward

New and Enhanced Features

• Upgraded to KotlinX 1.7.3

• Upgraded to JUnit Platform 1.10.0

• Upgraded to Kotlin 1.9.10

• Added StringArbitrary.uniqueChars() to generate strings with unique characters. Discussion in issue 506. This is an experimental feature.

• Added constraint annotation @UniqueChars for String parameters. This is an experimental feature.

• Added Arbitraries.fromGeneratorWithSize(..). See issue 494. This is an experimental feature.

• The Kotlin module got a brand new Combinator DSL.

• Configurators that are based on ArbitraryConfiguratorBase will now consider any public method the name of which starts with configure as a configuration method candidate. This allows heterogeneous arbitrary configurators that differ in arbitrary type only.

• Multiple @CharRange annotations are now also possible for @ForAll char parameters.

• EXPERIMENTAL APIs promoted to MAINTAINED:

  • Arbitrary.edgeCases(Consumer<EdgeCases.Config<T>> configurator)
  • Arbitrary.withoutEdgeCases()
  • @Property.edgeCases()
  • @ForAll.supplier()
  • @From.supplier()
  • @Provide.ignoreExceptions()
  • Combinator[2-8].filter(..)
  • ListCombinator.filter(..)
  • NumericalArbitrary.withDistribution(..)
  • TraverseArbitrary
  • TypeArbitrary.enableRecursion()
  • @UseType.enableRecursion()
  • DomainContext.getReportingFormats()
  • JqwikSession

Breaking Changes

• Configurators that are based on ArbitraryConfiguratorBase must mark their configure() methods as public. Private and package-scope methods are no longer supported considered as

... (truncated)

Commits

• 754bd4f set version to 1.8.0
• 473eba8 Update TODOs
• 06ed61c Bump org.jetbrains.kotlin.jvm from 1.9.0 to 1.9.10
• 7c81cab Got rid of a few TODOs
• c7296ec Upgraded to Gradle 8.3
• 3d15f75 Updated TODOs for later versions
• 0731587 Bump archunitVersion from 1.0.1 to 1.1.0
• 7df8278 Replace question marks in Kotlin code in user guide
• c4e1a54 Updated user guide entry about arbitrary configurators
• 3f3e936 Several CharRange annotations are now also possible for char parameters
• 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 show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @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)