1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-26 05:02:18 +00:00

- Update to 0.6.1

Obtained from:	FreeBSD Haskell
This commit is contained in:
Gabor Pali 2012-06-03 21:54:13 +00:00
parent da645c564d
commit df1624f074
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=298211
3 changed files with 9 additions and 8 deletions

View File

@ -6,16 +6,18 @@
#
PORTNAME= smallcheck
PORTVERSION= 0.6
PORTVERSION= 0.6.1
CATEGORIES= devel haskell
MAINTAINER= haskell@FreeBSD.org
COMMENT= Another lightweight testing library in Haskell
COMMENT= A property-based testing library
LICENSE= BSD
CABAL_SETUP= Setup.hs
USE_CABAL= dlist>=0.2
INSTALL_PORTEXAMPLES= @(cd ${WRKSRC}/examples/ && ${COPYTREE_SHARE} \* ${EXAMPLESDIR})
.include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk"

View File

@ -1,2 +1,2 @@
SHA256 (cabal/smallcheck-0.6.tar.gz) = 3b2d49ff08f9146c3ae70e9d1821977233fa5715f682835751a2fbbca46f62a5
SIZE (cabal/smallcheck-0.6.tar.gz) = 22364
SHA256 (cabal/smallcheck-0.6.1.tar.gz) = 6b83c4934ed6b2141725731ede11db7380dc80c91a17261baedf338a00d34bdc
SIZE (cabal/smallcheck-0.6.1.tar.gz) = 22854

View File

@ -1,6 +1,5 @@
SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but
instead of testing for a sample of randomly generated values, SmallCheck
tests properties for all the finitely many values up to some depth,
progressively increasing the depth used.
SmallCheck is a testing library that allows to verify properties for all
test cases up to some depth. The test cases are generated automatically
by SmallCheck.
WWW: https://github.com/feuerbach/smallcheck