Skip to content

Commit 63be310

Browse files
committed
LedgerDB.StateMachine test: label rollback depth
This shows that we never generate non-degenerate rollbacks. This is fixed in the subsequent two commits.
1 parent 1dde7c2 commit 63be310

File tree

1 file changed

+3
-0
lines changed
  • ouroboros-consensus/test/storage-test/Test/Ouroboros/Storage/LedgerDB

1 file changed

+3
-0
lines changed

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -567,6 +567,9 @@ instance RunModel Model (StateT Environment IO) where
567567
lift $ truncateSnapshots testInternals
568568
perform UnInit _ _ = error "Uninitialized model created a command different than Init"
569569

570+
monitoring _ (ValidateAndCommit n _) _ _ = tabulate "Rollback depths" [show n]
571+
monitoring _ _ _ _ = id
572+
570573
-- NOTE
571574
--
572575
-- In terms of postcondition, we only need to check that the immutable and

0 commit comments

Comments
 (0)