jqwik-team / jqwik

Property-Based Testing on the JUnit Platform
http://jqwik.net
Eclipse Public License 2.0
576 stars 64 forks source link

Bump net.jqwik:jqwik-web from 1.7.2 to 1.7.3 #470

Closed dependabot[bot] closed 1 year ago

dependabot[bot] commented 1 year ago

Bumps net.jqwik:jqwik-web from 1.7.2 to 1.7.3.

Release notes

Sourced from net.jqwik:jqwik-web's releases.

Stabilizations and Small Features

New and Enhanced Features

  • Upgraded to JUnit Platform 1.9.2

  • uniqueElements(..) methods are now part of StreamableArbitrary interface. See jqwik-team/jqwik#466.

  • Added Arbitrary.ignoreException(int maxThrows, Class<? extends Throwable> exceptionType) and Arbitrary.ignoreExceptions(maxThrows, Class<? extends Throwable> ... exceptionTypes)

Breaking Changes

no breaking changes

Bug Fixes

Commits
  • c3714b6 Set release version 1.7.3
  • 760005a Remove last feature from 1.7.3 todo list - not feasible
  • 8b98be9 Updated TODOs
  • 32c8f26 Added user guide section on BeforeTry member variables
  • ddb1a1e Got implementation to work
  • 091a7b8 Added failing tests for BeforeTry member variables
  • ef6122a Added Arbitrary.ignoreExceptions(maxThrows, exceptionTypes)
  • 15f6067 Add uniqueElements() methods to StreamableArbitrary interface
  • 239d28f Suppressed a few logging activities during testing
  • f3e7806 Switched on standard streams output in all test tasks
  • Additional commits viewable in compare view


Dependabot compatibility score

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[bot] commented 1 year ago

Looks like net.jqwik:jqwik-web is up-to-date now, so this is no longer needed.