Release 1.2.3 - Coverage Checking and More

New and Enhanced Features

• The new big feature of this release is coverage checking.

• Statistics reporting
  can now be switched off.
  Alternatively you can
  plug in your own reporting format.

• Added Arbitrary.injectDuplicates(duplicateProbability) to enable
  the high probability generation of duplicate values

• Added Arbitrary.tuple1(), Arbitrary.tuple2(), Arbitrary.tuple3(), Arbitrary.tuple4()
  to generate tuples of same base type

• Character \u0000 is being generated as default edge case
  in String and Character arbitraries - if it lies within the allowed character range.

Breaking Changes

• Statistics.collect(..) and StatisticsCollector.collect(..) can no longer
  be called with no values. There must be at least one - but it can be null.

• Statistics.collect(..) and StatisticsCollector.collect(..) must always
  be called with same number of parameters.

• Deprecated net.jqwik.api.Statistics. Use net.jqwik.api.statistics.Statistics instead.

• The standard property report is now the last thing to be reported,
  i.e. after statistics reports.

• Default priority in AbstractDomainContextBase is now 0 (previously 1),
  i.e. they no longer supersede built-in jqwik arbitrary providers but mix in.

Bug Fixes

No open bugs had been reported.