nick8325/quickcheck
1
1
Fork 0
mirror of https://github.com/nick8325/quickcheck.git synced 2024-10-04 00:48:59 +03:00
Code Issues Packages Projects Releases Wiki Activity

2.15.0

Browse Source
This commit is contained in:
Maximilian Algehed 2024-04-03 09:55:20 +02:00
parent ded925d91d
commit 00f1a8a851
No known key found for this signature in database
2 changed files with 31 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
QuickCheck.cabal
View File

@ -1,5 +1,5 @@
Name: QuickCheck
Version: 2.14.3
Version: 2.15.0
Cabal-Version: >= 1.10
Build-type: Simple
License: BSD3

30
changelog
View File

@ -1,3 +1,33 @@
QuickCheck 2.15
* BREAKING: properties without quantification are no longer implicitly
wrapped in once
* Add witness property modifier and witnesses field in result on
compilers that support Typeable to allow conveniently exposing
counterexamples
* Add assertException, assertExceptionIO, assertDeepException, and
assertDeepExceptionIO (thanks to Alexey Kuleshevich)
* Add withMaxSize, withMaxShrinks, and withMaxDiscardRatio combinators
* Add recheck
* Add HasCallStack to partial top-level functions
* Updated some documentation
* Fix overflow bug when calculating discard ratio
* Fix error printing bug when shrinks are discarded
* Fix withMaxSuccess not working when checkCoverage is turned on
* Fix a bug whereby an unfortunately timed discard could unduly fail a
property running with checkCoverage
* Fix Arbitrary intance for Map breaking invariants from
Data.Map.Strict (thanks to Neil Mayhew)
* Fix non-covered classes not showing up in output as 0% covered
* Fix Negative's Arbitrary instance discarding an unnecessary number
of generated values.
* Fix promote doing an unnecessary seed split
* Fix a bug whereby maxSuccess and discardRatio would interact poorly
to produce too few size increases.
* Fix a couple of underflow bugs in generators for Small Natural and
Ratio Natural
* Fix a bug whereby the internal DISCARDED exception would show up
user-side in sample
QuickCheck 2.14.3 (released 2023-05-31)
* Add shrinkBoundedEnum (thanks to Jonathan Knowles)
* Add discardAfter for discarding tests on timeout (thanks to Justus Sagemüller)