Add test for creating registration certificate using literal extended cold key

Author: palas

cardano-cli/test/cardano-cli-golden/Test/Golden/Shelley/StakePool/RegistrationCertificate.hs

@@ -2,11 +2,21 @@
 
 module Test.Golden.Shelley.StakePool.RegistrationCertificate where
 
+import Cardano.Api
+  ( AsType (AsStakePoolExtendedKey, AsVerificationKey)
+  , File (File)
+  , liftIO
+  , readFileTextEnvelope
+  , serialiseToBech32
+  )
+
 import Control.Monad (void)
+import Data.Text qualified as Text
 
 import Test.Cardano.CLI.Util
 
 import Hedgehog (Property)
+import Hedgehog qualified as H
 import Hedgehog.Extras.Test.Base qualified as H
 import Hedgehog.Extras.Test.Golden qualified as H
 
@@ -89,3 +99,47 @@ hprop_golden_conway_stake_pool_registration_certificate_extended_cold_key = prop
   goldenFile <- H.note "test/cardano-cli-golden/files/golden/shelley/reg-certificate-extended.json"
 
   H.diffFileVsGoldenFile registrationCertFile goldenFile
+
+hprop_golden_conway_stake_pool_registration_certificate_extended_literal_cold_key :: Property
+hprop_golden_conway_stake_pool_registration_certificate_extended_literal_cold_key = propertyOnce . H.moduleWorkspace "tmp" $ \tempDir -> do
+  operatorVerificationKeyFile <-
+    noteInputFile "test/cardano-cli-golden/files/input/shelley/node-pool/extended-operator.vkey"
+  vrfVerificationKeyFile <-
+    noteInputFile "test/cardano-cli-golden/files/input/shelley/node-pool/vrf.vkey"
+  ownerVerificationKeyFile <-
+    noteInputFile "test/cardano-cli-golden/files/input/shelley/node-pool/owner.vkey"
+  registrationCertFile <- noteTempFile tempDir "registration.cert"
+
+  stakePoolExtendedKey <-
+    H.evalEitherM $
+      liftIO $
+        readFileTextEnvelope (AsVerificationKey AsStakePoolExtendedKey) (File operatorVerificationKeyFile)
+
+  void $
+    execCardanoCLI
+      [ "conway"
+      , "stake-pool"
+      , "registration-certificate"
+      , "--testnet-magic"
+      , "42"
+      , "--pool-pledge"
+      , "0"
+      , "--pool-cost"
+      , "0"
+      , "--pool-margin"
+      , "0"
+      , "--stake-pool-verification-extended-key"
+      , Text.unpack $ serialiseToBech32 stakePoolExtendedKey
+      , "--vrf-verification-key-file"
+      , vrfVerificationKeyFile
+      , "--pool-reward-account-verification-key-file"
+      , ownerVerificationKeyFile
+      , "--pool-owner-stake-verification-key-file"
+      , ownerVerificationKeyFile
+      , "--out-file"
+      , registrationCertFile
+      ]
+
+  goldenFile <- H.note "test/cardano-cli-golden/files/golden/shelley/reg-certificate-extended.json"
+
+  H.diffFileVsGoldenFile registrationCertFile goldenFile