Merge pull request #2008 from input-output-hk/nc/tidy-tests

Move tests out of testing library.
IntersectMBO · Nov 24, 2020 · e9b441e · e9b441e
2 parents 8bc95a2 + f8a4514
commit e9b441e
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 8 deletions.
diff --git a/shelley-ma/shelley-ma-test/cardano-ledger-shelley-ma-test.cabal b/shelley-ma/shelley-ma-test/cardano-ledger-shelley-ma-test.cabal
@@ -27,8 +27,6 @@ library
   exposed-modules:
     Test.Cardano.Ledger.EraBuffet
     Test.Cardano.Ledger.ShelleyMA.TxBody
-    Test.Cardano.Ledger.ShelleyMA.Serialisation.Timelocks
-    Test.Cardano.Ledger.ShelleyMA.Serialisation.CDDL
     Test.Cardano.Ledger.ShelleyMA.Serialisation.Coders
     Test.Cardano.Ledger.ShelleyMA.Serialisation.Generators
   -- other-extensions:
@@ -82,6 +80,8 @@ test-suite cardano-ledger-shelley-ma-test
       Test.Cardano.Ledger.Mary.Examples.Cast
       Test.Cardano.Ledger.Mary.Examples.MultiAssets
       Test.Cardano.Ledger.Mary.Value
+      Test.Cardano.Ledger.ShelleyMA.Serialisation.CDDL
+      Test.Cardano.Ledger.ShelleyMA.Serialisation.Timelocks
     default-language:    Haskell2010
     ghc-options:
       -threaded

diff --git a/...no/Ledger/ShelleyMA/Serialisation/CDDL.hs → ...no/Ledger/ShelleyMA/Serialisation/CDDL.hs b/...no/Ledger/ShelleyMA/Serialisation/CDDL.hs → ...no/Ledger/ShelleyMA/Serialisation/CDDL.hs
diff --git a/...dger/ShelleyMA/Serialisation/Timelocks.hs → ...dger/ShelleyMA/Serialisation/Timelocks.hs b/...dger/ShelleyMA/Serialisation/Timelocks.hs → ...dger/ShelleyMA/Serialisation/Timelocks.hs
diff --git a/shelley/chain-and-ledger/shelley-spec-ledger-test/src/Test/Shelley/Spec/Ledger/Utils.hs b/shelley/chain-and-ledger/shelley-spec-ledger-test/src/Test/Shelley/Spec/Ledger/Utils.hs
@@ -10,8 +10,7 @@
 {-# LANGUAGE TypeFamilies #-}
 
 module Test.Shelley.Spec.Ledger.Utils
-  ( assertAll,
-    mkSeedFromWords,
+  ( mkSeedFromWords,
     mkCertifiedVRF,
     epochFromSlotNo,
     evolveKESUntil,
@@ -99,7 +98,6 @@ import Data.Maybe (fromMaybe)
 import Data.Ratio (Ratio)
 import Data.Sequence (Seq)
 import Data.Word (Word64)
-import Hedgehog (MonadTest, (===))
 import Shelley.Spec.Ledger.API
   ( ApplyBlock,
     CHAIN,
@@ -210,9 +208,6 @@ type MultiSigPairs era = [(MultiSig era, MultiSig era)]
 
 -- ================================================
 
-assertAll :: (MonadTest m, Show a, Eq a) => (a -> Bool) -> [a] -> m ()
-assertAll p xs = [] === filter (not . p) xs
-
 -- | Construct a seed from a bunch of Word64s
 --
 --   We multiply these words by some extra stuff to make sure they contain