Minor Improvements and Convenience Additions
New and Enhanced Features
-
Added
Tuple.of()
andTuple.empty()
to create an empty tuple. -
The time out for bounded shrinking can now be changed in
jqwik.properties
-
Sample reporting will now report changes to parameters during property execution
-
Added some convenience to use POJOs as builders:
BuilderCombinator.build()
: Return arbitrary of builder itselfCombinableBuilder.inSetter(..)
: Set a builder's property and go on using it
-
Added
SampleReportingFormat.reportJavaBean(Object bean)
Breaking Changes
- Shrinking is no longer bound by number of shrinking attempts, but by time with a 10 seconds default.
The reason is that counting shrinking attempts in a consistent manner was difficult, and
shrinking could take very very long despite being inBOUNDED
mode.
Bug Fixes
- edge cases generation will be stopped when 10000 edge cases have been found.
See #113