forked from IntersectMBO/cardano-ledger
-
Notifications
You must be signed in to change notification settings - Fork 0
/
small-steps-test.cabal
85 lines (75 loc) · 2.71 KB
/
small-steps-test.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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
cabal-version: 2.2
name: small-steps-test
version: 0.1.0.0
synopsis: Small step semantics testing library
-- description:
homepage: https://github.com/input-output-hk/cardano-legder-specs
license: Apache-2.0
author: IOHK Formal Methods Team
maintainer: formal.methods@iohk.io
-- copyright:
category: Control
build-type: Simple
extra-source-files:
flag development
description: Disable '-Werror'
default: False
manual: True
common base
build-depends: base >= 4.12 && < 4.15
common project-config
default-language: Haskell2010
ghc-options: -Wall
-Wcompat
-Wincomplete-record-updates
-Wincomplete-uni-patterns
-Wredundant-constraints
-Wunused-packages
if (!flag(development))
ghc-options: -Werror
library
import: base, project-config
exposed-modules: Control.State.Transition.Invalid.Trace
, Control.State.Transition.Generator
, Control.State.Transition.Trace
, Control.State.Transition.Trace.Generator.QuickCheck
, Hedgehog.Extra.Manual
build-depends: goblins
, hedgehog >= 1.0.4
, tasty-hunit
, microlens
, microlens-th
, mtl
, nothunks
, transformers >= 0.5
, QuickCheck
-- IOHK deps
, small-steps
, strict-containers
hs-source-dirs: src
test-suite examples
import: base, project-config
hs-source-dirs: test
main-is: examples/Main.hs
other-modules: Control.State.Transition.Examples.Sum
other-modules: Control.State.Transition.Examples.GlobalSum
, Control.State.Transition.Examples.CommitReveal
type: exitcode-stdio-1.0
default-language: Haskell2010
build-depends: containers
, hedgehog >= 1.0.4
, mtl
, tasty
, tasty-hedgehog
, tasty-expected-failure
, QuickCheck
, tasty-quickcheck
, tasty-hunit
, Unique
-- IOHK deps
, cardano-crypto-class
, cardano-binary
-- Local deps
, small-steps
, small-steps-test
ghc-options: -threaded