WIP A ThreadNet test with a Shelley-to-Shelley hard fork

IntersectMBO · Sep 23, 2020 · edfd2c7 · edfd2c7
1 parent b9ba377
commit edfd2c7
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git a/ouroboros-consensus-cardano-test/ouroboros-consensus-cardano-test.cabal b/ouroboros-consensus-cardano-test/ouroboros-consensus-cardano-test.cabal
@@ -77,6 +77,7 @@ test-suite test
                        Test.Consensus.Cardano.Golden
                        Test.Consensus.Cardano.Serialisation
                        Test.ThreadNet.Cardano
+                       Test.ThreadNet.Cardano2
 
   build-depends:       base
                      , bytestring

diff --git a/ouroboros-consensus-cardano-test/test/Main.hs b/ouroboros-consensus-cardano-test/test/Main.hs
@@ -7,6 +7,7 @@ import qualified Test.Consensus.Cardano.ByronCompatibility (tests)
 import qualified Test.Consensus.Cardano.Golden (tests)
 import qualified Test.Consensus.Cardano.Serialisation (tests)
 import qualified Test.ThreadNet.Cardano (tests)
+import qualified Test.ThreadNet.Cardano2 (tests)
 
 main :: IO ()
 main = defaultMainWithIohkNightly tests
@@ -18,4 +19,5 @@ tests =
   , Test.Consensus.Cardano.Golden.tests
   , Test.Consensus.Cardano.Serialisation.tests
   , Test.ThreadNet.Cardano.tests
+  , Test.ThreadNet.Cardano2.tests
   ]
diff --git a/ouroboros-consensus-cardano-test/test/Test/ThreadNet/Cardano.hs b/ouroboros-consensus-cardano-test/test/Test/ThreadNet/Cardano.hs
@@ -10,6 +10,9 @@
 
 module Test.ThreadNet.Cardano (
     tests
+  , genPartition
+  , Partition (..)
+  , partitionExclusiveUpperBound
   ) where
 
 import           Control.Exception (assert)