Remove the ledger-db-backends-checker executable.

The executable is subsumed by the model-based tests for `BackingStore` implementations. These tests also give a strong indication that the in-memory and LMDB backing stores do not differ in their behaviour, since both implementations must match the same model.
IntersectMBO · May 29, 2023 · dd47004 · dd47004
1 parent 57489d3
commit dd47004
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 123 deletions.
diff --git a/ouroboros-consensus-cardano/app/ledger-db-backends-checker.hs b/ouroboros-consensus-cardano/app/ledger-db-backends-checker.hs
diff --git a/ouroboros-consensus-cardano/ouroboros-consensus-cardano.cabal b/ouroboros-consensus-cardano/ouroboros-consensus-cardano.cabal
@@ -569,22 +569,3 @@ test-suite tools-test
     , cardano-tools
     , tasty
     , tasty-hunit
-
-executable ledger-db-backends-checker
-  import:         common-exe
-  hs-source-dirs: app
-  main-is:        ledger-db-backends-checker.hs
-  build-depends:
-    , base
-    , bytestring
-    , cardano-binary
-    , cardano-ledger-core
-    , cardano-lmdb-simple
-    , cardano-slotting
-    , cborg
-    , containers
-    , fs-api
-    , optparse-applicative
-    , ouroboros-consensus
-    , ouroboros-consensus-cardano
-    , ouroboros-consensus-protocol