jqwik v1.3.10 Release Notes

Release Date: 2020-12-04 // over 3 years ago
  • ๐Ÿ†• New and Enhanced Features
    • ๐Ÿ”ง Introduced JavaBeanReportingFormat for simpler and configurable reporting
      of Java beans.
    ๐Ÿ’ฅ Breaking Changes
    • ๐Ÿ—„ SampleReportingFormat.reportJavaBean(..) has been deprecated.
      ๐Ÿšš Will be removed in version 1.4.0.
    ๐Ÿ› Bug Fixes

    Arbitraries.lazy() did not allow exhaustive generation but does now.

    SampleReportingFormat.reportJavaBean(..) can now handle methods named
    is or get.

    SampleReportingFormat.reportJavaBean(..) can now handle properties
    that return Optional<T>.

Previous changes from v1.3.9

  • ๐Ÿ†• New and Enhanced Features

    ๐Ÿ“„ Generating email addresses
    ๐Ÿ”ง has now configuration options.

    Generated email addresses now
    have fewer edge cases.

    โž• Added constraint annotation
    ๐Ÿ“„ @Email
    for generating valid email addresses.

    ๐Ÿ‘ Experimental support for
    ๐Ÿ“„ changing an arbitrary's edge cases.

    Constraint annotation @StringLength now works for any arbitrary that generates a String.

    Range annotations (@Byte|Short|Int|Long|Float|Double|BigRange) do work now when applied
    to any arbitrary that generates the appropriate numeric type.

    ๐Ÿ’ฅ Breaking Changes
    • Email arbitrary no longer generates domain hosts without top level domain
    ๐Ÿ› Bug Fixes

    Reporting of null values in failed properties
    no longer fails with NPE.

    Sampling arbitraries with null values
    no longer fails.