chore(deps): update version.jqwik to v1.4.0

[renovate]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
net.jqwik:jqwik-api (source)	1.3.10 -> 1.4.0
net.jqwik:jqwik (source)	1.3.10 -> 1.4.0

---

Release Notes

jlink/jqwik

v1.4.0

Compare Source

New and Enhanced Features

• Upgrade to JUnit Platform 1.7.1

• Using @Property(edgeCases = NONE) will now also suppress the generation of
  edge cases in embedded arbitraries.

• You now have the capability to configure an
  arbitrary's edge case generation.

• There is a new annotation attribute @Property.whenSeedFixed and a new
  configuration parameter
  jqwik.seeds.whenfixed
  to warn or even fail when a property has been given a fixed random seed.
  See this issued for more details.
  Many thanks to osi for this contribution.

• jqwik's approach to specify uniqueness of generated objects has been completely revamped:

  • Arbitrary.unique() and the annotation @Unique are now deprecated and will
    be removed in version 1.5.
  • Uniqueness constraints
    are now handled by the elements' container.
  • The new annotation to require uniqueness
    is called @UniqueElements and applied to the container's type.

• Arbitraries modified through Arbitrary.unique(), which is deprecated anyway,
  no longer generate edge cases. This is actually a bug fix since the
  generated edge were not considered for uniqueness.

• There's a new jqwik module jqwik-time
  which simplifies the generation of dates (and times in a future release).
  Many thanks to zinki97 for this contribution.

• There's a new jqwik module jqwik-web
  which is currently home of email addresses generation.

• Configuration parameters are now loaded via JUnit's
  Configuration Parameters mechanism.
  Parameters specified in jqwik.properties continue to work, but are considered deprecated.
  Log messages will be emitted for any used properties with their new name.
  Some parameter names have also changed.
  Many thanks to osi for this contribution.

• Using internal Kotlin methods as properties will now produce the correct name
  as seen in the Kotlin source code.

• The User Guide has been restructured.

• There will now be a warning log entry when a property with more than 1 try has no
  '@​ForAll' parameters.

• Promoted APIs from EXPERIMENTAL to MAINTAINED

  • Mostly everything in package net.jqwik.api.lifecycle
  • Method Arbitrary.dontShrink()
  • Method Combinators.CombinableBuilder.inSetter(..)
  • Class PropertyDefaults
  • Class Reporter
  • Class SampleReportingFormat
  • Method Tuple.of()
  • Method Tuple.empty()
  • Method BigDecimalArbitrary.shrinkTowards(..)
  • Method BigIntegerArbitrary.shrinkTowards(..)
  • Method ByteArbitrary.shrinkTowards(..)
  • Method DoubleArbitrary.shrinkTowards(..)
  • Method FloatArbitrary.shrinkTowards(..)
  • Method IntegerArbitrary.shrinkTowards(..)
  • Method LongArbitrary.shrinkTowards(..)
  • Method ShortArbitrary.shrinkTowards(..)
  • Method SetArbitrary.mapEach(..)
  • Method SetArbitrary.flatMapEach(..)
  • Method ListArbitrary.mapEach(..)
  • Method ListArbitrary.flatMapEach(..)
  • Method ActionSequence.withInvariant(..)
  • Method Statistics.coverage(..)
  • Method StatisticsCollector.coverage(..)
  • Class StatisticsCoverage
  • Class StatisticsEntry

Breaking Changes

• Arbitraries.emails() has been moved to net.jqwik.web.api.Web.emails() in new
  Web module.

• @net.jqwik.api.constraints.Email annotation has been moved to
  @net.jqwik.web.api.Email in new
  Web module.

• Parameters annotated with @Email will by default only generate
  "standard" email addresses.

• Removed deprecated APIs

  • Arbitrary.samples(..)
  • Interface FalsificationResult
  • SampleReportingFormat.reportJavaBean(..)
  • Shrinkable.shrink(Falsifier<T> falsifier)
  • Interface ShrinkingSequence
  • CharacterArbitary.with(Arbitrary<Character> characterArbitrary)
  • StringArbitary.withChars(Arbitrary<Character> characterArbitrary)

• Unconstrained wildcards are no longer handled in a special way
  but just like unconstrained type variables.

• Arbitrary.array(..) now returns ArrayArbitrary instead of StreamableArbitrary

Bug Fixes

• Fixed bug that could lead to strange edge case generation behaviour
  when Arbitrary.edgeCases(edgeCasesConfig) was used.

---

Renovate configuration

📅 Schedule: At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻️ Rebasing: Renovate will not automatically rebase this PR, because other commits have been found.

🔕 Ignore: Close this PR and you won't be reminded about these updates again.

---

• If you want to rebase/retry this PR, check this box

---

This PR has been generated by WhiteSource Renovate. View repository job log here.

[npepinpe]

@deepthidevaki can you have a look? It seems the new version breaks some things during compilation.

[deepthidevaki]

@npepinpe It is dependency conflicts. Please review it, so that I don't approve my own changes 😄

[npepinpe]

👍

Thanks for looking into it.

[deepthidevaki]

bors r+

[zeebe-bors]

Build succeeded:

• continuous-integration/jenkins/branch