./devel/hs-QuickCheck, Random testing of program properties

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 2.15nb1, Package name: hs-QuickCheck-2.15nb1, Maintainer: pho

QuickCheck is a library for random testing of program properties.

The programmer provides a specification of the program, in the form of
properties which functions should satisfy, and QuickCheck then tests
that the properties hold in a large number of randomly generated
cases.

Specifications are expressed in Haskell, using combinators defined in
the QuickCheck library. QuickCheck provides combinators to define
properties, observe the distribution of test data, and define test
data generators.


Required to run:
[devel/hs-random] [devel/hs-splitmix] [lang/ghc88]

Required to build:
[pkgtools/cwrappers]

Master sites:

Filesize: 79.456 KB

Version history: (Expand)

CVS history: (Expand)


   2024-04-29 05:33:52 by Masatake Daimon | Files touched by this commit (4) 
Log message:
devel/hs-QuickCheck: Update to 2.15

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
   2023-11-02 07:37:49 by Masatake Daimon | Files touched by this commit (1141) 
Log message:
Revbump all Haskell after updating lang/ghc96
   2023-10-27 09:26:45 by Masatake Daimon | Files touched by this commit (4) 
Log message:
devel/hs-QuickCheck: Update to 2.14.3

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)
* Add assertWith for monadic testing (thanks to KtorZ)
* Add functionElements to Test.QuickCheck.Function (thanks to Oleg Grenrus)
* Add Arbitrary instance for Newline (thanks to Daniel Bramucci)
* Improve Arbitrary instances for Float and Double (thanks to Oleg Grenrus)
* Improve arbitrarySizedFractional (thanks to Bodigrim)
* Fix shrinkRealFrac and shrinkDecimal, which were broken
* Speed up printing of progress messages (thanks to Bodigrim)
* Add COMPLETE pragmas for Fn and family (thanks to ilkecan)
* Make templateHaskell flag manual (thanks to Oleg Grenrus)
   2023-10-09 06:55:01 by Masatake Daimon | Files touched by this commit (988) 
Log message:
Bump Haskell packages after updating lang/ghc94
   2022-02-26 04:58:36 by Masatake Daimon | Files touched by this commit (872) 
Log message:
Bump all Haskell packages after enabling "split sections" in mk/haskell.mk
   2022-02-12 09:51:00 by Masatake Daimon | Files touched by this commit (575) 
Log message:
revbump after changing the default Haskell compiler
   2022-01-18 03:48:33 by Masatake Daimon | Files touched by this commit (541) 
Log message:
Bump packages that depends on GHC
   2021-10-26 12:20:11 by Nia Alarie | Files touched by this commit (3016) 
Log message:
archivers: Replace RMD160 checksums with BLAKE2s checksums

All checksums have been double-checked against existing RMD160 and
SHA512 hashes

Could not be committed due to merge conflict:
devel/py-traitlets/distinfo

The following distfiles were unfetchable (note: some may be only fetched
conditionally):

./devel/pvs/distinfo pvs-3.2-solaris.tgz
./devel/eclipse/distinfo eclipse-sourceBuild-srcIncluded-3.0.1.zip