/
quickcheck-with-counterexamples.cabal
55 lines (49 loc) · 1.65 KB
/
quickcheck-with-counterexamples.cabal
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
name: quickcheck-with-counterexamples
version: 1.2
synopsis: Get counterexamples from QuickCheck as Haskell values
description:
When QuickCheck finds a counterexample, it prints it out but
doesn't save it so that the programmer can access it. This can be
annoying when debugging.
.
This library provides a small extension to QuickCheck that returns
counterexamples as normal Haskell values. To use it, just import
"Test.QuickCheck.Counterexamples" /instead of/ @Test.QuickCheck@.
The library is largely compatible with normal QuickCheck, but the
return types of 'Test.QuickCheck.Counterexamples.quickCheck' and
related functions are changed to include a counterexample.
.
For usage information, see the "Test.QuickCheck.Counterexamples"
module.
homepage: http://www.github.com/nick8325/quickcheck-with-counterexamples
license: BSD3
license-file: LICENSE
author: Nick Smallbone
maintainer: nick@smallbone.se
category: Testing
build-type: Simple
cabal-version: >=1.10
extra-source-files:
README
examples/Heap.hs
examples/Heap_Program.hs
examples/Heap_ProgramAlgebraic.hs
examples/Lambda.hs
examples/Merge.hs
examples/Set.hs
examples/Simple.hs
source-repository head
type: git
location: https://github.com/nick8325/quickcheck-with-counterexamples
source-repository this
type: git
location: https://github.com/nick8325/quickcheck-with-counterexamples
tag: 1.2
library
exposed-modules:
Test.QuickCheck.Counterexamples
build-depends:
base >= 4 && < 5,
QuickCheck >= 2.13,
template-haskell
default-language: Haskell2010