-
Notifications
You must be signed in to change notification settings - Fork 0
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Update dependency net.jqwik:jqwik to v1.9.2 #34
Conversation
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #34 +/- ##
=========================================
Coverage 95.19% 95.19%
Complexity 1067 1067
=========================================
Files 242 242
Lines 2766 2766
Branches 51 51
=========================================
Hits 2633 2633
Misses 126 126
Partials 7 7 ☔ View full report in Codecov by Sentry. |
dc18f47
to
05287ed
Compare
05287ed
to
93e9f92
Compare
93e9f92
to
9541627
Compare
Codecov ReportAll modified and coverable lines are covered by tests ✅
❗ Your organization needs to install the Codecov GitHub app to enable full functionality. Additional details and impacted files@@ Coverage Diff @@
## main #34 +/- ##
=========================================
Coverage 95.19% 95.19%
Complexity 1067 1067
=========================================
Files 242 242
Lines 2766 2766
Branches 51 51
=========================================
Hits 2633 2633
Misses 126 126
Partials 7 7 ☔ View full report in Codecov by Sentry. |
9541627
to
1a91b53
Compare
1a91b53
to
9888e49
Compare
9888e49
to
3131e5e
Compare
3131e5e
to
4f647b2
Compare
4f647b2
to
170d76c
Compare
This PR contains the following updates:
1.7.4
->1.9.2
Release Notes
jqwik-team/jqwik (net.jqwik:jqwik)
v1.9.2
: Minor BugfixCompare Source
New and Enhanced Features
Breaking Changes
lead to different exception types -
IllegalArgumentException
instead ofCannotFindArbitraryException
-for provider methods that create objects of the wrong type.
Dependency Upgrades and Bug Fixes
by making return type matching for provider methods loose again.
v1.9.1
: JqwikSession EnhancementsCompare Source
New and Enhanced Features
Introduced API to handle random seeds outside jqwik's lifecycle.
See issue 581.
JqwikSession.getRandom()
JqwikSession.start(String randomSeed)
JqwikSession.run(String randomSeed, Runnable runnable)
Breaking Changes
No breaking changes
Dependency Upgrades and Bug Fixes
v1.9.0
: Kotlin 2.0 and Nullability AnnotationsCompare Source
New and Enhanced Features
Upgraded to Kotlin 2.0.0
Upgraded to JUnit Platform 1.10.3
Breaking Changes
StatisticsCoverage.checkQuery(Predicate<? super List<?>> query)
:query
is now of typePredicate<? super List<?>>
instead ofPredicate<? super List<Object>>
.Nullability annotations have been added to many API methods and interfaces.
This could lead to compile-time warnings or errors in your code if you are using tool chains that validate those.
UniqueElements.by()
now requires aClass<? extends Function<? extends @​Nullable Object, ?>>
instead of a
Class<? extends Function<?, Object>>
.Bug Fixes
Tools like CheckerFramework did not play well with jqwik's (wrong) usage of
@Nullable
on type variables.This has been fixed. See issue 575 for details.
Thanks to vlsi for working out all the nitty, gritty details!
Fixed type matching bug as revealed in this comment
v1.8.5
: Bug FixCompare Source
New and Enhanced Features
Bug Fixes
See issue 562.
v1.8.4
: Some Kotlin CareCompare Source
New and Enhanced Features
Kotlin module: Added
anyForSubtypeOf<MyInterface>()
.Many thanks to jibidus for the contribution!
Upgraded to Kotlin 1.9.23
Breaking Changes
No breaking changes
Bug Fixes
See issue 557.
v1.8.3
: Platform Upgrade and a few FixesCompare Source
New and Enhanced Features
Upgraded to KotlinX 1.8.0
Upgraded to JUnit Platform 1.10.2
Upgraded to Kotlin 1.9.22
Breaking Changes
No breaking changes
Bug Fixes
Shrinking of strings with uniqueChars() constraint did not work properly.
See issue 541.
Fixed integer generation bug with uniform distribution.
See issue 544:
v1.8.2
: Important Fixes for Java >= 18Compare Source
New and Enhanced Features
Breaking Changes
No breaking changes
Bug Fixes
Nested test containers using
@Group
have not been working properly with JDK >= 18.Now they do. See issue 528.
Fixed stack overflow exception while shrinking.
See issue 526.
Fixed out of memory error while shrinking.
See issue 527.
Many thanks to Juhan Oskar Hennoste for providing a fix.
v1.8.1
: Just Fixing BugsCompare Source
New and Enhanced Features
No new features
Breaking Changes
No breaking changes
Bug Fixes
Fixed bug when using
Combinators.combine()
on empty list of arbitraries.See issue 522.
Fixed type resolution bug.
See issue 519.
v1.8.0
: Consolidate and Move Kotlin forwardCompare Source
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 considerany 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 toMAINTAINED
: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 theirconfigure()
methods aspublic
.Private and package-scope methods are no longer supported considered as
configuration method candidates.
TypeUsage.canBeAssignedTo(TypeUsage)
behaves now closer to the Java compiler's rulesabout allowing assignments - including co- and contravariance.
This has the potential to break domains, arbitrary providers, and lifecycle hooks
that depend on the old, more loose, behaviour.
@Provide
methods are now matched more strictly, based on assignability of returned arbitrary type.That means that potential mismatches of generated values and the corresponding
@ForAll
parameters will show up already at property setup time through a
CannotFindArbitraryException
.StringArbitrary.repeatChars(0.0)
will now redirect toStringArbitrary.uniqueChars()
.Previously it used to just make the probability of repeating characters very low.
See discussion in issue 506.
Removed deprecated method
TypeArbitrary.use(Executable)
.Removed deprecated methods
ActionChainArbitrary.addAction(action)
and
ActionChainArbitrary.addAction(weight, action)
.Bug Fixes
Fixed bug when selecting parameterized values from domain contexts.
See issue 499.
Fixed type variable resolution bug.
See issue 492.
Fixed bug where presence of Kotlin module could mess up annotations
of parameters in Java classes.
Configuration
📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - "* 0-3 * * *" (UTC).
🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.
♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.
🔕 Ignore: Close this PR and you won't be reminded about this update again.
This PR was generated by Mend Renovate. View the repository job log.