Skip to content

Commit ec7d3f7

Browse files
authored
Merge pull request #5083 from IntersectMBO/lehins/remove-old-constrained-generators
Remove old version of constrained generators
2 parents 442d75e + 5a60d80 commit ec7d3f7

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

45 files changed

+12
-19593
lines changed

libs/cardano-ledger-test/cardano-ledger-test.cabal

Lines changed: 0 additions & 46 deletions
Original file line numberDiff line numberDiff line change
@@ -17,9 +17,6 @@ source-repository head
1717
library
1818
exposed-modules:
1919
Test.Cardano.Ledger.Alonzo.Tools
20-
Test.Cardano.Ledger.Constrained.Ast
21-
Test.Cardano.Ledger.Constrained.Classes
22-
Test.Cardano.Ledger.Constrained.Combinators
2320
Test.Cardano.Ledger.Constrained.Conway
2421
Test.Cardano.Ledger.Constrained.Conway.Cert
2522
Test.Cardano.Ledger.Constrained.Conway.Certs
@@ -45,40 +42,6 @@ library
4542
Test.Cardano.Ledger.Constrained.Conway.TxBodySpec
4643
Test.Cardano.Ledger.Constrained.Conway.Utxo
4744
Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse
48-
Test.Cardano.Ledger.Constrained.Env
49-
Test.Cardano.Ledger.Constrained.Examples
50-
Test.Cardano.Ledger.Constrained.Lenses
51-
Test.Cardano.Ledger.Constrained.Monad
52-
Test.Cardano.Ledger.Constrained.Pairing
53-
Test.Cardano.Ledger.Constrained.Preds.CertState
54-
Test.Cardano.Ledger.Constrained.Preds.Certs
55-
Test.Cardano.Ledger.Constrained.Preds.LedgerState
56-
Test.Cardano.Ledger.Constrained.Preds.NewEpochState
57-
Test.Cardano.Ledger.Constrained.Preds.PParams
58-
Test.Cardano.Ledger.Constrained.Preds.Repl
59-
Test.Cardano.Ledger.Constrained.Preds.Tx
60-
Test.Cardano.Ledger.Constrained.Preds.TxOut
61-
Test.Cardano.Ledger.Constrained.Preds.UTxO
62-
Test.Cardano.Ledger.Constrained.Preds.Universes
63-
Test.Cardano.Ledger.Constrained.Rewrite
64-
Test.Cardano.Ledger.Constrained.Scripts
65-
Test.Cardano.Ledger.Constrained.Shrink
66-
Test.Cardano.Ledger.Constrained.Size
67-
Test.Cardano.Ledger.Constrained.Solver
68-
Test.Cardano.Ledger.Constrained.Spec
69-
Test.Cardano.Ledger.Constrained.SpecClass
70-
Test.Cardano.Ledger.Constrained.Stage
71-
Test.Cardano.Ledger.Constrained.Tests
72-
Test.Cardano.Ledger.Constrained.Trace.Actions
73-
Test.Cardano.Ledger.Constrained.Trace.DrepCertTx
74-
Test.Cardano.Ledger.Constrained.Trace.Pipeline
75-
Test.Cardano.Ledger.Constrained.Trace.SimpleTx
76-
Test.Cardano.Ledger.Constrained.Trace.Tests
77-
Test.Cardano.Ledger.Constrained.Trace.TraceMonad
78-
Test.Cardano.Ledger.Constrained.TypeRep
79-
Test.Cardano.Ledger.Constrained.Utils
80-
Test.Cardano.Ledger.Constrained.Vars
81-
Test.Cardano.Ledger.EraClass
8245
Test.Cardano.Ledger.Examples.AlonzoAPI
8346
Test.Cardano.Ledger.Examples.AlonzoBBODY
8447
Test.Cardano.Ledger.Examples.AlonzoCollectInputs
@@ -100,9 +63,7 @@ library
10063
Test.Cardano.Ledger.Generic.Updaters
10164
Test.Cardano.Ledger.NoThunks
10265
Test.Cardano.Ledger.STS
103-
Test.Cardano.Ledger.TestableEra
10466
Test.Cardano.Ledger.Tickf
105-
Test.Cardano.Ledger.ValueFromList
10667

10768
hs-source-dirs: src
10869
default-language: Haskell2010
@@ -118,7 +79,6 @@ library
11879
build-depends:
11980
FailT,
12081
QuickCheck,
121-
array,
12282
base >=4.18 && <5,
12383
bytestring,
12484
cardano-crypto,
@@ -137,7 +97,6 @@ library
13797
cardano-ledger-core:{cardano-ledger-core, testlib},
13898
cardano-ledger-mary,
13999
cardano-ledger-shelley:{cardano-ledger-shelley, testlib},
140-
cardano-ledger-shelley-ma-test,
141100
cardano-ledger-shelley-test,
142101
cardano-protocol-tpraos:{cardano-protocol-tpraos, testlib},
143102
cardano-slotting:{cardano-slotting, testlib},
@@ -147,10 +106,6 @@ library
147106
crypton,
148107
data-default,
149108
deepseq,
150-
formatting,
151-
groups,
152-
hashable,
153-
haskeline,
154109
hspec,
155110
microlens,
156111
mtl,
@@ -168,7 +123,6 @@ library
168123
time,
169124
transformers,
170125
tree-diff,
171-
unordered-containers,
172126
vector,
173127
vector-map,
174128

0 commit comments

Comments
 (0)