Add minimal StateMachine test for ImmutableDB.Index

IntersectMBO · Aug 27, 2024 · 3c07044 · 3c07044
1 parent a3e191c
commit 3c07044
Show file tree

Hide file tree

Showing 3 changed files with 374 additions and 0 deletions.
diff --git a/ouroboros-consensus/ouroboros-consensus.cabal b/ouroboros-consensus/ouroboros-consensus.cabal
@@ -628,6 +628,7 @@ test-suite storage-test
     Test.Ouroboros.Storage.ImmutableDB.Model
     Test.Ouroboros.Storage.ImmutableDB.Primary
     Test.Ouroboros.Storage.ImmutableDB.StateMachine
+    Test.Ouroboros.Storage.ImmutableDB.Index.StateMachine
     Test.Ouroboros.Storage.LedgerDB
     Test.Ouroboros.Storage.LedgerDB.DiskPolicy
     Test.Ouroboros.Storage.LedgerDB.InMemory
@@ -647,6 +648,7 @@ test-suite storage-test
     binary,
     bytestring,
     cardano-crypto-class,
+    cardano-strict-containers,
     cardano-slotting:{cardano-slotting, testlib},
     cborg,
     containers,
@@ -667,6 +669,7 @@ test-suite storage-test
     random,
     serialise,
     tasty,
+    temporary,
     tasty-hunit,
     tasty-quickcheck,
     text,

diff --git a/ouroboros-consensus/test/storage-test/Test/Ouroboros/Storage/ImmutableDB.hs b/ouroboros-consensus/test/storage-test/Test/Ouroboros/Storage/ImmutableDB.hs
@@ -18,6 +18,7 @@ module Test.Ouroboros.Storage.ImmutableDB (tests) where
 
 import qualified Test.Ouroboros.Storage.ImmutableDB.Primary as Primary
 import qualified Test.Ouroboros.Storage.ImmutableDB.StateMachine as StateMachine
+import qualified Test.Ouroboros.Storage.ImmutableDB.Index.StateMachine as Index.StateMachine
 import           Test.Tasty (TestTree, testGroup)
 
 {------------------------------------------------------------------------------
@@ -28,4 +29,5 @@ tests :: TestTree
 tests = testGroup "ImmutableDB" [
       Primary.tests
     , StateMachine.tests
+    , Index.StateMachine.tests
     ]