Skip to content

Fix sync targets for Genesis

4720860
Select commit
Loading
Failed to load commit list.
Closed

Integrate o-network changes for Genesis support / big ledger peer snapshots #5787

Fix sync targets for Genesis
4720860
Select commit
Loading
Failed to load commit list.
IOG Hydra / ci/hydra-build:x86_64-linux.native.variants.ghc96.checks/cardano-testnet/cardano-testnet-test failed Jan 23, 2025 in 3m 14s

Build failed

1 failed steps

Details

Failed Steps

Step 1

Derivation

/nix/store/0p3379irr7lw5brzwx0nnidh14c58rgq-cardano-testnet-test-cardano-testnet-test-10.0.0-check.drv

Log

unpacking sources
unpacking source archive /nix/store/l5jpbmbw6axpaqhbvpz4fq4f4mv474gj-source-root-cardano-testnet-test-cardano-testnet-test-root
source root is source-root-cardano-testnet-test-cardano-testnet-test-root
patching sources
building
/nix/store/yah037i9jz2sf4g5q4dralhi3xipp1z9-cardano-testnet-test-cardano-testnet-test-10.0.0/bin:
patching script interpreter paths in /tmp/tmp.FkdentzpQ9/tmp.h5AGyfSiYs/bin
test/Spec.hs
  Spec
    Ledger Events
      Sanity Check:                                           OK (34.87s)
          ✓ Sanity Check passed 1 test.
      Governance
        Committee Add New:                                    OK (59.29s)
            ✓ Committee Add New passed 1 test.
        DRep Deposits:                                        OK (23.17s)
            ✓ DRep Deposits passed 1 test.
        DRep Retirement:                                      OK (25.82s)
            ✓ DRep Retirement passed 1 test.
        Propose And Ratify New Constitution:                  OK (35.91s)
            ✓ Propose And Ratify New Constitution passed 1 test.
        Gov Action Timeout:                                   OK (157.61s)
            ✓ Gov Action Timeout passed 1 test.
        Treasury Donation:                                    OK (116.32s)
            ✓ Treasury Donation passed 1 test.
        Treasury Withdrawal:                                  OK (55.58s)
            ✓ Treasury Withdrawal passed 1 test.
        PParam change fails for SPO:                          FAIL (40.94s)
            ✗ PParam change fails for SPO failed at src/Testnet/Process/Cli/DRep.hs:406:16
              after 1 test.
              shrink path: 1:
            
              forAll0 =
                Process exited with non-zero exit-code: 1
                ━━━━ stderr ━━━━
                Command failed: transaction build  Error: Stake credential specified in the proposal is not registered on-chain: fromList [StakeCredentialByKey "a85f55c56de75f3df063792b5d3ba04e19807f72c6343b36c8e90e22"]
                
              
              forAll1 =
                ━━━━ command ━━━━
                /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli conway transaction build --change-address addr_test1vpury53087au4axv6tdzv6an5k4ylc62awnx2m2c90hu35qg6alcu --tx-in e7cac562a2a9dd4d07cb780a525779910990f69850f37e0d1843551b18a9f25b#0 --proposal-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/governance/output/proposal/proposa-file --out-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/governance/output/proposal/tx.body
              
              forAll2 =
                ━━━━ command ━━━━
                /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli conway governance action create-protocol-parameters-update --testnet --governance-action-deposit 1000000 --deposit-return-stake-verification-key-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/governance/stake.vkey --drep-activity 3 --anchor-url ipfs://QmexFJuEn5RtnHEqpxDcqrazdHPzAwe7zs2RxHLfMH5gBz --anchor-data-hash 52e69500a92d80f2126c836a4903dc582006709f004cf7a28ed648f732dff8d2 --check-anchor-data --out-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/governance/output/proposal/proposa-file
              
              forAll3 =
                Largest UTxO for addr_test1vpury53087au4axv6tdzv6an5k4ylc62awnx2m2c90hu35qg6alcu: TxIn "e7cac562a2a9dd4d07cb780a525779910990f69850f37e0d1843551b18a9f25b" (TxIx 0)
              
              forAll4 =
                (TxIn "e7cac562a2a9dd4d07cb780a525779910990f69850f37e0d1843551b18a9f25b" (TxIx 0),TxOut (AddressInEra (ShelleyAddressInEra ShelleyBasedEraConway) (ShelleyAddress Testnet (KeyHashObj (KeyHash {unKeyHash = "7832522f3fbbcaf4ccd2da266bb3a5aa4fe34aeba6656d582befc8d0"})) StakeRefNull)) (TxOutValueShelleyBased ShelleyBasedEraConway (MaryValue (Coin 15000003000000) (MultiAsset (fromList [])))) TxOutDatumNone ReferenceScriptNone)
              
              forAll5 =
                Finding UTxOs for addr_test1vpury53087au4axv6tdzv6an5k4ylc62awnx2m2c90hu35qg6alcu
              
              forAll6 =
                Operation completed in 0.000009668s
              
              forAll7 =
                /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/governance/output/proposal/tx.body
              
              forAll8 =
                Operation completed in 0.000011922s
              
              forAll9 =
                /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/governance/output/proposal/proposa-file
              
              forAll10 =
                ━━━━ command ━━━━
                /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli hash anchor-data --file-binary /build/source-root-cardano-testnet-test-cardano-testnet-test-root/cardano-testnet/test/cardano-testnet-test/files/sample-proposal-anchor
              
              forAll11 =
                /build/source-root-cardano-testnet-test-cardano-testnet-test-root/cardano-testnet/test/cardano-testnet-test/files/sample-proposal-anchor
              
              forAll12 =
                Creating directory if missing: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/governance/output/proposal
              
              forAll30 =
                Operation completed in 1.48616051s
              
              forAll39 =
                Started logging epoch states to: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/logs/ledger-epoch-state.log
                Epoch state diffs are logged to: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/logs/ledger-epoch-state-diffs.log
              
              forAll40 =
                /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/./socket/node1/sock
              
              forAll41 =
                ━━━━ File: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/current-stake-pools.json ━━━━
                [
                    "pool15penh0vpvsvahjg4kawa2n7lf6p72cv2xds80pg76rarxzvjyq7"
                ]
              
              forAll42 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/current-stake-pools.json
              
              forAll43 =
                ━━━━ command ━━━━
                /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli latest query stake-pools --out-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/current-stake-pools.json
              
              forAll44 =
                /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/current-stake-pools.json
              
              forAll45 =
                                           TxHash                                 TxIx        Amount
                --------------------------------------------------------------------------------------
                5ca2fcd4a13852bb1da2c29bc7aaf7275e651f2cb0efbd7b466dbc9f5b759ffb     0        15000003000000 lovelace + TxOutDatumNone
              
              forAll46 =
                ━━━━ command ━━━━
                /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli latest query utxo --address addr_test1vpxvfq059nqt5hzj8t8pp39tyvc6288rfmlkpxyyllgh97swaz2wy --cardano-mode
              
              forAll47 =
                ━━━━ File: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo3/utxo.vkey ━━━━
                {
                    "type": "GenesisUTxOVerificationKey_ed25519",
                    "description": "Genesis Initial UTxO Verification Key",
                    "cborHex": "5820ba0d79ae2d8078a39f97467ec937786637e09a85df86e9dde9e0d5c553d7e9ca"
                }
                
              
              forAll48 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo3/utxo.vkey
              
              forAll49 =
                ━━━━ File: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo3/utxo.skey ━━━━
                {
                    "type": "GenesisUTxOSigningKey_ed25519",
                    "description": "Genesis Initial UTxO Signing Key",
                    "cborHex": "582059f2c53f237d38f5b2157991e16dbaaaf6d964f6d62bfb3af3fe313c08bac927"
                }
                
              
              forAll50 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo3/utxo.skey
              
              forAll51 =
                                           TxHash                                 TxIx        Amount
                --------------------------------------------------------------------------------------
                5445d0d8b729266bfa264c05af4331513cbc7b92176413c28eba407dd3641cc2     0        15000003000000 lovelace + TxOutDatumNone
              
              forAll52 =
                ━━━━ command ━━━━
                /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli latest query utxo --address addr_test1vprqzgm6najmas3emvpep77r43ghy984lzajf429jwr7psg03u5tv --cardano-mode
              
              forAll53 =
                ━━━━ File: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo2/utxo.vkey ━━━━
                {
                    "type": "GenesisUTxOVerificationKey_ed25519",
                    "description": "Genesis Initial UTxO Verification Key",
                    "cborHex": "582050977fefc5b8922f539e5cd0193e93371c0c153a3b14fec2b4492a66c9cc8657"
                }
                
              
              forAll54 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo2/utxo.vkey
              
              forAll55 =
                ━━━━ File: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo2/utxo.skey ━━━━
                {
                    "type": "GenesisUTxOSigningKey_ed25519",
                    "description": "Genesis Initial UTxO Signing Key",
                    "cborHex": "58204c50b6bc589b7dee1a3be4c0e6f4f9e76e3503cfa00c541223c3a8e3129ae2af"
                }
                
              
              forAll56 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo2/utxo.skey
              
              forAll57 =
                                           TxHash                                 TxIx        Amount
                --------------------------------------------------------------------------------------
                e7cac562a2a9dd4d07cb780a525779910990f69850f37e0d1843551b18a9f25b     0        15000003000000 lovelace + TxOutDatumNone
              
              forAll58 =
                ━━━━ command ━━━━
                /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli latest query utxo --address addr_test1vpury53087au4axv6tdzv6an5k4ylc62awnx2m2c90hu35qg6alcu --cardano-mode
              
              forAll59 =
                ━━━━ File: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo1/utxo.vkey ━━━━
                {
                    "type": "GenesisUTxOVerificationKey_ed25519",
                    "description": "Genesis Initial UTxO Verification Key",
                    "cborHex": "5820eb0d9850552daafe01132449e6e7bafa65fbe2eedd9e1ce8a64e005d70007d9d"
                }
                
              
              forAll60 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo1/utxo.vkey
              
              forAll61 =
                ━━━━ File: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo1/utxo.skey ━━━━
                {
                    "type": "GenesisUTxOSigningKey_ed25519",
                    "description": "Genesis Initial UTxO Signing Key",
                    "cborHex": "582003265336c5d215495604820cb97cd22b7bc1a3e8e3bbea241f808dd514cea3b1"
                }
                
              
              forAll62 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo1/utxo.skey
              
              forAll63 =
                ━━━━ File: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo3/utxo.vkey ━━━━
                {
                    "type": "GenesisUTxOVerificationKey_ed25519",
                    "description": "Genesis Initial UTxO Verification Key",
                    "cborHex": "5820ba0d79ae2d8078a39f97467ec937786637e09a85df86e9dde9e0d5c553d7e9ca"
                }
                
              
              forAll64 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo3/utxo.vkey
              
              forAll65 =
                ━━━━ File: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo3/utxo.skey ━━━━
                {
                    "type": "GenesisUTxOSigningKey_ed25519",
                    "description": "Genesis Initial UTxO Signing Key",
                    "cborHex": "582059f2c53f237d38f5b2157991e16dbaaaf6d964f6d62bfb3af3fe313c08bac927"
                }
                
              
              forAll66 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo3/utxo.skey
              
              forAll67 =
                ━━━━ File: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo2/utxo.vkey ━━━━
                {
                    "type": "GenesisUTxOVerificationKey_ed25519",
                    "description": "Genesis Initial UTxO Verification Key",
                    "cborHex": "582050977fefc5b8922f539e5cd0193e93371c0c153a3b14fec2b4492a66c9cc8657"
                }
                
              
              forAll68 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo2/utxo.vkey
              
              forAll69 =
                ━━━━ File: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo2/utxo.skey ━━━━
                {
                    "type": "GenesisUTxOSigningKey_ed25519",
                    "description": "Genesis Initial UTxO Signing Key",
                    "cborHex": "58204c50b6bc589b7dee1a3be4c0e6f4f9e76e3503cfa00c541223c3a8e3129ae2af"
                }
                
              
              forAll70 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo2/utxo.skey
              
              forAll71 =
                ━━━━ File: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo1/utxo.vkey ━━━━
                {
                    "type": "GenesisUTxOVerificationKey_ed25519",
                    "description": "Genesis Initial UTxO Verification Key",
                    "cborHex": "5820eb0d9850552daafe01132449e6e7bafa65fbe2eedd9e1ce8a64e005d70007d9d"
                }
                
              
              forAll72 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo1/utxo.vkey
              
              forAll73 =
                ━━━━ File: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo1/utxo.skey ━━━━
                {
                    "type": "GenesisUTxOSigningKey_ed25519",
                    "description": "Genesis Initial UTxO Signing Key",
                    "cborHex": "582003265336c5d215495604820cb97cd22b7bc1a3e8e3bbea241f808dd514cea3b1"
                }
                
              
              forAll74 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo1/utxo.skey
              
              forAll75 =
                2025-01-23 16:28:43.302670019 UTC
              
              forAll76 =
                2025-01-23 16:29:08.208093288 UTC
              
              forAll77 =
                2025-01-23 16:28:23.208093288 UTC
              
              forAll78 =
                [ Sprocket
                    { sprocketBase =
                        "/tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/"
                    , sprocketName = "./socket/node1/sock"
                    }
                , Sprocket
                    { sprocketBase =
                        "/tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/"
                    , sprocketName = "./socket/node2/sock"
                    }
                , Sprocket
                    { sprocketBase =
                        "/tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/"
                    , sprocketName = "./socket/node3/sock"
                    }
                ]
              
              forAll79 =
                Waiting for port 35423 to be available before starting node
              
              forAll80 =
                Node name: node3
              
              forAll81 =
                Waiting for port 33517 to be available before starting node
              
              forAll82 =
                Node name: node2
              
              forAll83 =
                Waiting for port 45439 to be available before starting node
              
              forAll84 =
                Node name: node1
              
              forAll85 =
                Writing file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/node-data/node3/topology.json
              
              forAll86 =
                Writing file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/node-data/node2/topology.json
              
              forAll87 =
                Writing file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/node-data/node1/topology.json
              
              forAll88 =
                Writing file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/node-data/node3/port
              
              forAll89 =
                Writing file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/node-data/node2/port
              
              forAll90 =
                Writing file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/node-data/node1/port
              
              forAll91 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo3/utxo.addr
              
              forAll92 =
                ━━━━ command ━━━━
                /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli latest address build --payment-verification-key-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo3/utxo.vkey --testnet-magic 42 --out-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo3/utxo.addr
              
              forAll93 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo2/utxo.addr
              
              forAll94 =
                ━━━━ command ━━━━
                /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli latest address build --payment-verification-key-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo2/utxo.vkey --testnet-magic 42 --out-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo2/utxo.addr
              
              forAll95 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo1/utxo.addr
              
              forAll96 =
                ━━━━ command ━━━━
                /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli latest address build --payment-verification-key-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo1/utxo.vkey --testnet-magic 42 --out-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo1/utxo.addr
              
              forAll97 =
                genesis.conway.spec.json
              
              forAll98 =
                work
              
              forAll99 =
                delegate-keys
              
              forAll100 =
                byron-genesis.json
              
              forAll101 =
                byron.genesis.spec.json
              
              forAll102 =
                genesis.alonzo.spec.json
              
              forAll103 =
                genesis-keys
              
              forAll104 =
                stake-delegators
              
              forAll105 =
                shelley-genesis.json
              
              forAll106 =
                byron-gen-command
              
              forAll107 =
                drep-keys
              
              forAll108 =
                conway-genesis.json
              
              forAll109 =
                alonzo-genesis.json
              
              forAll110 =
                module
              
              forAll111 =
                pools-keys
              
              forAll112 =
                utxo-keys
              
              forAll113 =
                Listing directory: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/
              
              forAll114 =
                ━━━━ command ━━━━
                /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli conway genesis create-testnet-data --spec-shelley /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/genesis-input.shelley.json --spec-alonzo /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/genesis-input.alonzo.json --spec-conway /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/genesis-input.conway.json --testnet-magic 42 --pools 1 --total-supply 100000020000000 --stake-delegators 3 --utxo-keys 3 --drep-keys 3 --start-time 2025-01-23T16:28:23Z --out-dir /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/
              
              forAll115 =
                Number of seeded UTxO keys: 3
              
              forAll116 =
                Number of stake delegators: 1
              
              forAll117 =
                Number of pools: 1
              
              forAll118 =
                Writing file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/genesis-input.shelley.json
              
              forAll119 =
                Reading file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/genesis-input.shelley.json
              
              forAll120 =
                Rewriting JSON file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/genesis-input.shelley.json
              
              forAll121 =
                Creating directory if missing: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89
              
              forAll122 =
                "/tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/configuration.yaml"
              
              forAll123 =
                "/tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/genesis.conway.spec.json"
              
              forAll124 =
                "/tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/genesis.alonzo.spec.json"
              
              forAll125 =
                linux
              
              forAll126 =
                2025-01-23 16:28:23.229886512 UTC
              
              forAll127 =
                2025-01-23 16:28:08.229886512 UTC
            
                  ┏━━ test/cardano-testnet-test/Cardano/Testnet/Test/Gov/PParamChangeFailsSPO.hs ━━━
               49 ┃ hprop_check_pparam_fails_spo :: Property
               50 ┃ hprop_check_pparam_fails_spo = integrationWorkspace "test-pparam-spo" $ \tempAbsBasePath' ->
                  ┃ │ Workspace: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89
               51 ┃                                  H.runWithDefaultWatchdog_ $ do
               52 ┃   -- Start a local test net
               53 ┃   conf@Conf { tempAbsPath } <- mkConf tempAbsBasePath'
                  ┃   │ /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89
               54 ┃   let tempAbsPath' = unTmpAbsPath tempAbsPath
               55 ┃       tempBaseAbsPath = makeTmpBaseAbsPath tempAbsPath
               56 ┃ 
               57 ┃   work <- H.createDirectoryIfMissing $ tempAbsPath' </> "work"
                  ┃   │ Creating directory if missing: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work
               58 ┃ 
               59 ┃   -- Create default testnet
               60 ┃   let ceo = ConwayEraOnwardsConway
               61 ┃       sbe = convert ceo
               62 ┃       asbe = AnyShelleyBasedEra sbe
               63 ┃       eraName = eraToString sbe
               64 ┃       fastTestnetOptions = def { cardanoNodeEra = asbe }
               65 ┃       shelleyOptions = def { genesisEpochLength = 200 }
               66 ┃ 
               67 ┃   TestnetRuntime
               68 ┃     { testnetMagic
               69 ┃     , testnetNodes
               70 ┃     , wallets=wallet0:wallet1:_wallet2:_
               71 ┃     , configurationFile
               72 ┃     }
               73 ┃     <- cardanoTestnetDefault fastTestnetOptions shelleyOptions conf
               74 ┃ 
               75 ┃   node <- H.headM testnetNodes
               76 ┃   poolSprocket1 <- H.noteShow $ nodeSprocket node
                  ┃   │ Sprocket {sprocketBase = "/tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/", sprocketName = "./socket/node1/sock"}
               77 ┃   execConfig <- mkExecConfig tempBaseAbsPath poolSprocket1 testnetMagic
               78 ┃   let socketPath = nodeSocketPath node
               79 ┃ 
               80 ┃   epochStateView <- getEpochStateView configurationFile socketPath
               81 ┃ 
               82 ┃   H.note_ $ "Sprocket: " <> show poolSprocket1
                  ┃   │ Sprocket: Sprocket {sprocketBase = "/tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/", sprocketName = "./socket/node1/sock"}
               83 ┃   H.note_ $ "Abs path: " <> tempAbsBasePath'
                  ┃   │ Abs path: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89
               84 ┃   H.note_ $ "Socketpath: " <> unFile socketPath
                  ┃   │ Socketpath: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/./socket/node1/sock
               85 ┃   H.note_ $ "Foldblocks config file: " <> unFile configurationFile
                  ┃   │ Foldblocks config file: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/configuration.yaml
               86 ┃ 
               87 ┃   gov <- H.createDirectoryIfMissing $ work </> "governance"
                  ┃   │ Creating directory if missing: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/governance
               88 ┃ 
               89 ┃   baseDir <- H.createDirectoryIfMissing $ gov </> "output"
                  ┃   │ Creating directory if missing: /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/governance/output
               90 ┃ 
               91 ┃   -- Register stake address
               92 ┃   let stakeCertFp = gov </> "stake.regcert"
               93 ┃       stakeKeys =  KeyPair { verificationKey = File $ gov </> "stake.vkey"
               94 ┃                            , signingKey = File $ gov </> "stake.skey"
               95 ┃                            }
               96 ┃   cliStakeAddressKeyGen stakeKeys
                  ┃   │ ━━━━ command ━━━━
                  ┃   │ /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli latest stake-address key-gen --verification-key-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/governance/stake.vkey --signing-key-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/governance/stake.skey
               97 ┃   keyDeposit <- getKeyDeposit epochStateView ceo
               98 ┃   createStakeKeyRegistrationCertificate
                  ┃   │ ━━━━ command ━━━━
                  ┃   │ /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli conway stake-address registration-certificate --stake-verification-key-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/governance/stake.vkey --out-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/governance/stake.regcert --key-reg-deposit-amt 400000
               99 ┃     tempAbsPath (AnyShelleyBasedEra sbe) (verificationKey stakeKeys) keyDeposit stakeCertFp
              100 ┃ 
              101 ┃   stakeCertTxBodyFp <- H.note $ work </> "stake.registration.txbody"
                  ┃   │ /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/stake.registration.txbody
              102 ┃   stakeCertTxSignedFp <- H.note $ work </> "stake.registration.tx"
                  ┃   │ /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/stake.registration.tx
              103 ┃ 
              104 ┃   txin1 <- findLargestUtxoForPaymentKey epochStateView sbe wallet1
                  ┃   │ Operation completed in 0.000020638s
                  ┃   │ Finding UTxOs for addr_test1vprqzgm6najmas3emvpep77r43ghy984lzajf429jwr7psg03u5tv
                  ┃   │ (TxIn "5445d0d8b729266bfa264c05af4331513cbc7b92176413c28eba407dd3641cc2" (TxIx 0),TxOut (AddressInEra (ShelleyAddressInEra ShelleyBasedEraConway) (ShelleyAddress Testnet (KeyHashObj (KeyHash {unKeyHash = "4601237a9f65bec239db0390fbc3ac517214f5f8bb24d5459387e0c1"})) StakeRefNull)) (TxOutValueShelleyBased ShelleyBasedEraConway (MaryValue (Coin 15000003000000) (MultiAsset (fromList [])))) TxOutDatumNone ReferenceScriptNone)
                  ┃   │ Largest UTxO for addr_test1vprqzgm6najmas3emvpep77r43ghy984lzajf429jwr7psg03u5tv: TxIn "5445d0d8b729266bfa264c05af4331513cbc7b92176413c28eba407dd3641cc2" (TxIx 0)
              105 ┃ 
              106 ┃   void $ execCli' execConfig
                  ┃   │ ━━━━ command ━━━━
                  ┃   │ /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli conway transaction build --change-address addr_test1vprqzgm6najmas3emvpep77r43ghy984lzajf429jwr7psg03u5tv --tx-in 5445d0d8b729266bfa264c05af4331513cbc7b92176413c28eba407dd3641cc2#0 --tx-out addr_test1vpury53087au4axv6tdzv6an5k4ylc62awnx2m2c90hu35qg6alcu+10000000 --certificate-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/governance/stake.regcert --witness-override 2 --out-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/stake.registration.txbody
              107 ┃     [ eraName, "transaction", "build"
              108 ┃     , "--change-address", Text.unpack $ paymentKeyInfoAddr wallet1
              109 ┃     , "--tx-in", Text.unpack $ renderTxIn txin1
              110 ┃     , "--tx-out", Text.unpack (paymentKeyInfoAddr wallet0) <> "+" <> show @Int 10_000_000
              111 ┃     , "--certificate-file", stakeCertFp
              112 ┃     , "--witness-override", show @Int 2
              113 ┃     , "--out-file", stakeCertTxBodyFp
              114 ┃     ]
              115 ┃ 
              116 ┃   void $ execCli' execConfig
                  ┃   │ ━━━━ command ━━━━
                  ┃   │ /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli conway transaction sign --tx-body-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/stake.registration.txbody --signing-key-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/utxo-keys/utxo2/utxo.skey --signing-key-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/governance/stake.skey --out-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/stake.registration.tx
              117 ┃     [ eraName, "transaction", "sign"
              118 ┃     , "--tx-body-file", stakeCertTxBodyFp
              119 ┃     , "--signing-key-file", signingKeyFp $ paymentKeyInfoPair wallet1
              120 ┃     , "--signing-key-file", signingKeyFp stakeKeys
              121 ┃     , "--out-file", stakeCertTxSignedFp
              122 ┃     ]
              123 ┃ 
              124 ┃   void $ execCli' execConfig
                  ┃   │ ━━━━ command ━━━━
                  ┃   │ /nix/store/xkmdric5sg517qmpz4g60xdd9z3zbgjg-cardano-cli-exe-cardano-cli-10.3.0.0/bin/cardano-cli conway transaction submit --tx-file /tmp/tmp.FkdentzpQ9/test-pparam-spo-test-5b7145c325d50a89/work/stake.registration.tx
              125 ┃     [ eraName, "transaction", "submit"
              126 ┃     , "--tx-file", stakeCertTxSignedFp
              127 ┃     ]
              128 ┃ 
              129 ┃   -- make sure that stake registration cert gets into a block
              130 ┃   _ <- waitForBlocks epochStateView 1
                  ┃   │ Operation completed in 0.000010039s
                  ┃   │ Current block number: 9. Waiting for 1 blocks
                  ┃   │ Operation completed in 0.00000508s
                  ┃   │ Operation completed in 0.000004629s
                  ┃   │ Operation completed in 0.000011171s
                  ┃   │ BlockNo 10
              131 ┃ 
              132 ┃   let propVotes :: [(String, Int)]
              133 ┃       propVotes = mkVotes [(1, "yes")]
              134 ┃       -- replicate votes requested number of times
              135 ┃       mkVotes :: [(Int, String)] -- ^ [(count, vote)]
              136 ┃               -> [(String, Int)] -- ^ [(vote, ordering number)]
              137 ┃       mkVotes votes = zip (concatMap (uncurry replicate) votes) [1..]
              138 ┃   annotateShow propVotes
                  ┃   │ [ ( "yes" , 1 ) ]
              139 ┃ 
              140 ┃   (governanceActionTxId, governanceActionIndex) <-
              141 ┃     makeActivityChangeProposal execConfig epochStateView ceo (baseDir </> "proposal")
              142 ┃                                Nothing (EpochInterval 3) stakeKeys wallet0 (EpochInterval 2)
              143 ┃ 
              144 ┃   failToVoteChangeProposalWithSPOs ceo execConfig epochStateView baseDir "vote"
              145 ┃                                    governanceActionTxId governanceActionIndex propVotes wallet1
            
              Execute process failed
            
              This failure can be reproduced by running:
              > recheckAt (Seed 5967083644264040654 11068603629568962309) "1:" PParam change fails for SPO
            
          Use "--pattern '$NF ~ /PParam change fails for SPO/' --hedgehog-replay '1: Seed 5967083644264040654 11068603629568962309'" to reproduce from the command-line.
          
          Use -p '/PParam change fails for SPO/' to rerun this test only.
        InfoAction:                                           OK (134.51s)
            ✓ InfoAction passed 1 test.
        Transaction Build Wrong Hash:                         OK (39.78s)
            ✓ Transaction Build Wrong Hash passed 1 test.
      Plutus
        PlutusV3:                                             OK (40.17s)
            ✓ PlutusV3 passed 1 test.
    CLI
      Shutdown:                                               OK (12.91s)
          ✓ Shutdown passed 1 test.
      Shutdown On Sigint:                                     OK (36.93s)
          ✓ Shutdown On Sigint passed 1 test.
      Shutdown On SlotSynced:                                 OK (17.34s)
          ✓ Shutdown On SlotSynced passed 1 test.
      stake snapshot:                                         OK (170.65s)
          ✓ stake snapshot passed 1 test.
      simple transaction build:                               OK (17.47s)
          ✓ simple transaction build passed 1 test.
      register deregister stake address in transaction build: OK (38.69s)
          ✓ register deregister stake address in transaction build passed 1 test.
      kes-period-info:                                        OK (169.18s)
          ✓ kes-period-info passed 1 test.
      query-slot-number:                                      OK (16.02s)
          ✓ query-slot-number passed 1 test.
      foldEpochState receives ledger state:                   OK (34.61s)
          ✓ foldEpochState receives ledger state passed 1 test.
      CliQueries:                                             OK (39.96s)
          ✓ CliQueries passed 1 test.
  SubmitApi
    transaction:                                              OK (21.27s)
        ✓ transaction passed 1 test.

1 out of 23 tests failed (192.34s)