Skip to content

Fixing Bugs and Adapting Structure

Choose a tag to compare

@jlink jlink released this 02 Jul 10:56

New and Enhanced Features

  • Added Arbitrary.dontShrink()

  • Added SetArbitrary.mapEach()

  • Added SetArbitrary.flatMapEach()

  • Added ListArbitrary.mapEach()

  • Added ListArbitrary.flatMapEach()

  • Added Arbitraries.just(aConstant) and deprecated Arbitraries.constant(aConstant).
    Most other PBT libraries seem to use just for this functionality.

  • Added programmatic access to JUnit 5 platform reporting

Breaking Changes

  • Introduced StreamableArbitrary hierarchy:

    • Arbitrary.set() now has return type net.jqwik.api.arbitraries.SetArbitrary
    • Arbitrary.list() now has return type net.jqwik.api.arbitraries.ListArbitrary
    • Arbitrary.stream() now has return type net.jqwik.api.arbitraries.StreamArbitrary
    • Arbitrary.iterator() now has return type net.jqwik.api.arbitraries.IteratorArbitrary
  • Arbitraries.maps(...) now has return type net.jqwik.api.arbitraries.MapArbitrary

  • net.jqwik.api.lifecycle.Reporter moved to net.jqwik.api.Reporter

Bug Fixes

  • Reporting samples with circular dependencies does no longer throw an exception

  • Reporting test failure due to exception without message
    no longer leads to ignored test

  • Reporting shrunk samples now report the actual sample and not a freshly generated one