1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
name: smallcheck
version: 1.2.1.1
license: BSD3
license-file: LICENSE
maintainer: Andrew Lelechenko <andrew.lelechenko@gmail.com>
author: Colin Runciman, Roman Cheplyaka
cabal-version: >=1.10
tested-with:
ghc ==9.6.1 ghc ==9.4.5
ghc ==9.2.7 ghc ==9.0.2 ghc ==8.10.7 ghc ==8.8.4 ghc ==8.6.5 ghc ==8.4.4 ghc ==8.2.2
ghc ==8.0.2 ghc ==7.10.3 ghc ==7.8.4 ghc ==7.6.3 ghc ==7.4.2 ghc ==7.2.2 ghc ==7.0.4
homepage: https://github.com/Bodigrim/smallcheck
bug-reports: https://github.com/Bodigrim/smallcheck/issues
synopsis: A property-based testing library
description:
As of 2023, this library is largely obsolete: arbitrary test generators
with shrinking such as [falsify](https://hackage.haskell.org/package/falsify)
offer much better user experience.
.
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.
category: Testing
build-type: Simple
extra-source-files:
README.md
CREDITS.md
CHANGELOG.md
source-repository head
type: git
location: git://github.com/Bodigrim/smallcheck.git
library
default-language: Haskell2010
exposed-modules:
Test.SmallCheck
Test.SmallCheck.Drivers
Test.SmallCheck.Series
other-modules:
Test.SmallCheck.Property
Test.SmallCheck.SeriesMonad
Test.SmallCheck.Property.Result
build-depends:
base >=4.3 && <5,
mtl <2.4,
logict >=0.5 && <0.9,
pretty <1.2
if impl(ghc <8.0)
build-depends:
semigroups <0.21,
transformers <0.7
if impl(ghc <7.10)
build-depends:
nats <1.2,
void <0.8
if impl(ghc <7.6)
build-depends:
ghc-prim >=0.2 && <1
if impl(ghc >= 8.0)
ghc-options: -Wcompat
|
