Changelog for polytropos-quickcheck-0.1.0.0
Changelog for polytropos-quickcheck
0.1.0.0 — Initial Release
- Property-based testing integration connecting open records and variants to
QuickCheck Arbitraryinstances forRecordandVariant- Slot-by-slot record shrinking avoiding Cartesian product explosion
- Uniform constructor branch generation and within-branch variant shrinking