Changed #

• Overhauled shrinking behavior for accumulate to prioritize logarithmic length shrinks first, followed by element shrinks; preserves constraints and avoids exponential blow-ups.
• Updated aggregate to mirror accumulate strategy: length-first shrinking and safe element shrinking (initial element only) to respect state dependencies.
• Reworked chain and flatMap to preserve shrinking from both the original and derived generators; fixed type inference in flatMap for robust generic handling.
• Replaced integer shrinker with a binary-search-based strategy to remove duplicates and ensure complete shrink trees.

Added #

• Deterministic tree structure tests using serialization for map, filter, chain, flatMap, oneOf, accumulate, and aggregate (including larger known shrink-trees such as 40213/7531246/964285173).
• Constraint-preservation tests across combinators to ensure shrinks respect generation constraints.

Fixed #

• Resolved constraint violation and performance issues in accumulate (removed recursive elementWise explosion).
• Ensured oneOf preserves the selected generator's tree using non-overlapping domains and deterministic seeds.
• Addressed occasional flakiness in tests by seeding Random and tightening assertions.

Added #

• Initial release of dartproptest
• Property-based testing framework inspired by QuickCheck and Hypothesis
• Comprehensive generator library for common data types
• Powerful combinators for complex data structures
• Automatic shrinking for easier debugging
• Stateful testing support
• Flutter compatibility across all platforms
• Multiple API variants for different use cases:
  • forAll - Main function with reflection support
  • forAllSimple - Flutter-compatible version
  • forAll1, forAll2, etc. - Numbered variants for type safety
  • forAllLegacy - Traditional approach

Features #

• Generators: Built-in generators for integers, strings, arrays, objects, booleans, floating-point numbers, sets, dictionaries, and tuples
• Combinators: just, lazy, elementOf, oneOf, construct, chainTuple
• Shrinking: Automatic shrinking algorithms for all data types
• Stateful Testing: Support for testing stateful systems with action sequences
• Platform Support: Works on Dart VM, Flutter web, mobile, and desktop
• Documentation: Comprehensive documentation with examples and guides

Technical Details #

• Zero external dependencies for core functionality
• BSD 3-Clause License
• Dart SDK requirement: >=3.0.0 <4.0.0
• Comprehensive test suite with example tests
• Flutter compatibility documentation

Added #

• Initial release
• Core property-based testing functionality
• All generators and combinators
• Shrinking algorithms
• Stateful testing support
• Flutter compatibility
• Complete documentation