Mention error involving drop and restore

Author: jasagredo

ouroboros-consensus/test/storage-test/Test/Ouroboros/Storage/LedgerDB/StateMachine.hs

@@ -50,6 +50,7 @@ import Data.Map.Strict (Map)
 import qualified Data.Map.Strict as Map
 import qualified Data.SOP.Dict as Dict
 import Data.Word
+import qualified Debug.Trace as Debug
 import Ouroboros.Consensus.Block
 import Ouroboros.Consensus.Config
 import Ouroboros.Consensus.Ledger.Abstract
@@ -598,7 +599,6 @@ instance RunModel Model (StateT Environment IO) where
     Environment _ _ chainDb mkArgs fs _ cleanup rr <- get
     (ldb, testInternals, getNumOpenHandles) <- lift $ do
       let args = mkArgs secParam salt
-      -- TODO after a drop and restore we restart the db but the session has been closed below where I wrote blahblahblah
       openLedgerDB (argFlavorArgs args) chainDb (argLedgerDbCfg args) fs rr
     put (Environment ldb testInternals chainDb mkArgs fs getNumOpenHandles cleanup rr)
   perform _ WipeLedgerDB _ = do
@@ -631,7 +631,6 @@ instance RunModel Model (StateT Environment IO) where
     Environment _ testInternals chainDb _ _ _ _ _ <- get
     lift $ do
       atomically $ modifyTVar (dbChain chainDb) (drop (fromIntegral n))
-      -- blahblahblah
       closeLedgerDB testInternals
     perform state (Init secParam salt) lk
   perform _ OpenAndCloseForker _ = do
@@ -677,6 +676,22 @@ instance RunModel Model (StateT Environment IO) where
           pure $ volSt == vol && immSt == imm
   postcondition _ _ _ _ = pure True
 
+{-
+
+An error involving drop and restore:
+
+          *** Failed! Exception: 'ErrSessionClosed' (after 1 test and 5 shrinks):
+          do action $ Init (SecurityParam (NonZero {unNonZero = 2})) 1698955
+             action $ ValidateAndCommit 0 [TestBlockWith {tbHash = (testHashFromList [0]), tbSlot = SlotNo 1, tbValid = Valid, tbPayload = Tx {consumed = Token {unToken = Point Origin}, produced = (Token {unToken = Point (At (Block {blockPointSlot = SlotNo 1, blockPointHash = (testHashFromList [0])}))},TValue ())}}]
+             action $ ValidateAndCommit 0 [TestBlockWith {tbHash = (testHashFromList [0,0]), tbSlot = SlotNo 2, tbValid = Valid, tbPayload = Tx {consumed = Token {unToken = Point (At (Block {blockPointSlot = SlotNo 1, blockPointHash = (testHashFromList [0])}))}, produced = (Token {unToken = Point (At (Block {blockPointSlot = SlotNo 2, blockPointHash = (testHashFromList [0,0])}))},TValue ())}},TestBlockWith {tbHash = (testHashFromList [0,0,0]), tbSlot = SlotNo 3, tbValid = Valid, tbPayload = Tx {consumed = Token {unToken = Point (At (Block {blockPointSlot = SlotNo 2, blockPointHash = (testHashFromList [0,0])}))}, produced = (Token {unToken = Point (At (Block {blockPointSlot = SlotNo 3, blockPointHash = (testHashFromList [0,0,0])}))},TValue ())}}]
+             action $ ForceTakeSnapshot
+             action $ DropAndRestore 4 1509061
+             pure ()
+          Use --quickcheck-replay="(SMGen 13015259844219613625 4264157041701000393,27)" to reproduce.
+
+cabal run test:storage-test -- -p /LSM/ --quickcheck-replay="(SMGen 13015259844219613625 4264157041701000393,27)"
+-}
+
 {-------------------------------------------------------------------------------
   Additional checks
 -------------------------------------------------------------------------------}