@@ -50,3 +50,42 @@ hprop_golden_shelley_stake_pool_registration_certificate = propertyOnce . H.modu
5050 goldenFile <- H. note " test/cardano-cli-golden/files/golden/shelley/reg-certificate.json"
5151
5252 H. diffFileVsGoldenFile registrationCertFile goldenFile
53+
54+ hprop_golden_conway_stake_pool_registration_certificate_extended_cold_key :: Property
55+ hprop_golden_conway_stake_pool_registration_certificate_extended_cold_key = propertyOnce . H. moduleWorkspace " tmp" $ \ tempDir -> do
56+ operatorVerificationKeyFile <-
57+ noteInputFile " test/cardano-cli-golden/files/input/shelley/node-pool/extended-operator.vkey"
58+ vrfVerificationKeyFile <-
59+ noteInputFile " test/cardano-cli-golden/files/input/shelley/node-pool/vrf.vkey"
60+ ownerVerificationKeyFile <-
61+ noteInputFile " test/cardano-cli-golden/files/input/shelley/node-pool/owner.vkey"
62+ registrationCertFile <- noteTempFile tempDir " registration.cert"
63+
64+ void $
65+ execCardanoCLI
66+ [ " conway"
67+ , " stake-pool"
68+ , " registration-certificate"
69+ , " --testnet-magic"
70+ , " 42"
71+ , " --pool-pledge"
72+ , " 0"
73+ , " --pool-cost"
74+ , " 0"
75+ , " --pool-margin"
76+ , " 0"
77+ , " --cold-verification-key-file"
78+ , operatorVerificationKeyFile
79+ , " --vrf-verification-key-file"
80+ , vrfVerificationKeyFile
81+ , " --pool-reward-account-verification-key-file"
82+ , ownerVerificationKeyFile
83+ , " --pool-owner-stake-verification-key-file"
84+ , ownerVerificationKeyFile
85+ , " --out-file"
86+ , registrationCertFile
87+ ]
88+
89+ goldenFile <- H. note " test/cardano-cli-golden/files/golden/shelley/reg-certificate-extended.json"
90+
91+ H. diffFileVsGoldenFile registrationCertFile goldenFile
0 commit comments