Add Arbitrary instance for ChainDepState

Author: lehins

libs/cardano-protocol-tpraos/CHANGELOG.md

@@ -1,9 +1,13 @@
 # Version history for `cardano-protocol-tpraos`
 
-## 1.4.0.1
+## 1.4.1.0
 
 * Add `GetLedgerView` instance for `DijkstraEra`
 
+### `testlib`
+
+* Add `Arbitrary` instance for `ChainDepState`
+
 ## 1.4.0.0
 
 * Deprecated `bHeaderSize`

libs/cardano-protocol-tpraos/cardano-protocol-tpraos.cabal

@@ -1,6 +1,6 @@
 cabal-version: 3.0
 name: cardano-protocol-tpraos
-version: 1.4.0.1
+version: 1.4.1.0
 license: Apache-2.0
 maintainer: operations@iohk.io
 author: IOHK

libs/cardano-protocol-tpraos/testlib/Test/Cardano/Protocol/TPraos/Arbitrary.hs

@@ -25,7 +25,7 @@ import Cardano.Ledger.BaseTypes (BlockNo (..), Nonce, Seed, SlotNo (..))
 import Cardano.Ledger.Block (Block (Block))
 import Cardano.Ledger.Core
 import Cardano.Protocol.Crypto (Crypto (KES, VRF), StandardCrypto)
-import Cardano.Protocol.TPraos.API (PraosCrypto)
+import Cardano.Protocol.TPraos.API (ChainDepState, PraosCrypto)
 import Cardano.Protocol.TPraos.BHeader (
   BHBody (BHBody),
   BHeader (BHeader),
@@ -45,6 +45,10 @@ import Test.Cardano.Ledger.Core.Arbitrary ()
 import Test.Cardano.Ledger.Shelley.Arbitrary ()
 import Test.Cardano.Protocol.TPraos.Create (AllIssuerKeys, mkBHBody, mkBHeader, mkBlock, mkOCert)
 
+instance Arbitrary ChainDepState where
+  arbitrary = genericArbitraryU
+  shrink = genericShrink
+
 newtype VRFNatVal = VRFNatVal Natural
   deriving (Show)