hlint: fix cardano-testnet-test #5845
Merged
IOG Hydra / ci/hydra-build:x86_64-darwin.nonrequired
failed
May 17, 2024 in 13m 15s
Build dependency failed
1 failed steps
Details
Failed Steps
Step 1
Derivation
/nix/store/k7rfsfxclci024cvmznjxhn6hrvi8frd-cardano-testnet-test-cardano-testnet-test-8.11.0-check.drv
Log
unpacking sources
unpacking source archive /nix/store/rbplc002a7laidk2924av1jd36bnxx0h-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/lswm62fs55lkycmbwpb4wyqjlglva70w-cardano-testnet-test-cardano-testnet-test-8.11.0/bin:
patching script interpreter paths in /tmp/tmp.3Oea7UDM7V/tmp.tDVDpb8Bbx/bin
test/Spec.hs
Spec
Ledger Events
Sanity Check: OK (32.51s)
✓ Sanity Check passed 1 test.
Treasury Growth: OK (79.65s)
✓ Treasury Growth passed 1 test.
Governance
Committee Add New: IGNORED on MacOS and Windows
IGNORED on MacOS and Windows
Committee Motion Of No Confidence: IGNORED on MacOS and Windows
IGNORED on MacOS and Windows
DRep Deposits: OK (27.30s)
✓ DRep Deposits passed 1 test.
DRep Retirement: OK (26.77s)
✓ DRep Retirement passed 1 test.
Propose And Ratify New Constitution: IGNORED on MacOS and Windows
IGNORED on MacOS and Windows
Propose New Constitution SPO: OK (24.32s)
✓ Propose New Constitution SPO passed 1 test.
Treasury Withdrawal: OK (43.09s)
✓ Treasury Withdrawal passed 1 test.
Plutus
PlutusV3: FAIL (68.66s)
✗ PlutusV3 failed at test/cardano-testnet-test/Cardano/Testnet/Test/Cli/Conway/Plutus.hs:149:34
after 1 test.
shrink path: 1:
forAll2 =
Operation completed in 0.000061s
forAll6 =
Operation completed in 0.034021s
forAll7 =
Operation completed in 0.000041s
forAll24 =
Operation completed in 0.504597s
forAll27 =
Started logging epoch states to: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/logs/ledger-epoch-state.log
forAll28 =
/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/./socket/pool1/sock
forAll29 =
━━━━ File: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/current-stake-pools.json ━━━━
[
"pool1yyuw4slya7zac5vwuk2qhj4svvs85mlnl07a7pp2slnnvwwf35j",
"pool18gzt0vhvv4txv5y083k8ruc8ss5au3vmwpwxglpge69tk5uehud",
"pool1kda65wxq8dfqqnzthdv9q9rywn8rxye8tdvmmj754yv9sz3wd4f"
]
forAll30 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/current-stake-pools.json
forAll31 =
━━━━ command ━━━━
/nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli query stake-pools --out-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/current-stake-pools.json
forAll32 =
/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/current-stake-pools.json
forAll33 =
TxHash TxIx Amount
--------------------------------------------------------------------------------------
905e4ee52716273fed368ea5e67b36dc0f7a0c01d3c953b31091754979154a65 0 300000000000 lovelace + TxOutDatumNone
forAll34 =
━━━━ command ━━━━
/nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli query utxo --address addr_test1vp4vjwylmmvnstks922hvvwvwcjl8pm7phdselc8p5z93xsqu85nn --cardano-mode
forAll35 =
━━━━ File: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo3/utxo.vkey ━━━━
{
"type": "GenesisUTxOVerificationKey_ed25519",
"description": "Genesis Initial UTxO Verification Key",
"cborHex": "582064a9623dd413e5ace6fbd81b022b8a6bcf4e537ce3d00817e4eea26c12f5a4fa"
}
forAll36 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo3/utxo.vkey
forAll37 =
━━━━ File: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo3/utxo.skey ━━━━
{
"type": "GenesisUTxOSigningKey_ed25519",
"description": "Genesis Initial UTxO Signing Key",
"cborHex": "582089c9417f9dc6552958968e6e6a1a0a6c04a059a4cf72e0ebc72a955df817b33f"
}
forAll38 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo3/utxo.skey
forAll39 =
TxHash TxIx Amount
--------------------------------------------------------------------------------------
016415bb10db8d56533cb8c559d904c364d5e7b81baddfc487ff4cba3ad3f955 0 300000000000 lovelace + TxOutDatumNone
forAll40 =
━━━━ command ━━━━
/nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli query utxo --address addr_test1vpt9q2par7m82cjl99cpfhqmzhv7x7hcvjdzq537fldme8q0s0cls --cardano-mode
forAll41 =
━━━━ File: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo2/utxo.vkey ━━━━
{
"type": "GenesisUTxOVerificationKey_ed25519",
"description": "Genesis Initial UTxO Verification Key",
"cborHex": "5820c427b17c63dd22c4a0b29ffb4460826f4c218207bc4300e1c5d08668e6275781"
}
forAll42 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo2/utxo.vkey
forAll43 =
━━━━ File: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo2/utxo.skey ━━━━
{
"type": "GenesisUTxOSigningKey_ed25519",
"description": "Genesis Initial UTxO Signing Key",
"cborHex": "5820bff1e0fedbdb1ea032f3a608a005aa40252ffbf2fe2067785ff36d9b05deca12"
}
forAll44 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo2/utxo.skey
forAll45 =
TxHash TxIx Amount
--------------------------------------------------------------------------------------
d2d6722f309cfa068f812f82f6faa3ca5cd5c0bb84bfe657b6b40f9347f98587 0 300000000000 lovelace + TxOutDatumNone
forAll46 =
━━━━ command ━━━━
/nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli query utxo --address addr_test1vzlpk8a7xrmay7wgfus0a7algkkncwffgh0k829uvfdfp3suax8fh --cardano-mode
forAll47 =
━━━━ File: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo1/utxo.vkey ━━━━
{
"type": "GenesisUTxOVerificationKey_ed25519",
"description": "Genesis Initial UTxO Verification Key",
"cborHex": "58201839a8a5baae12fe9cbf1c7433bbd6e47d4a43af4d9f94ac9d829949e02212bd"
}
forAll48 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo1/utxo.vkey
forAll49 =
━━━━ File: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo1/utxo.skey ━━━━
{
"type": "GenesisUTxOSigningKey_ed25519",
"description": "Genesis Initial UTxO Signing Key",
"cborHex": "5820079a7c7307d37a0fe7045c85c5ec80b3e8247878906063db94b0f6cf3afb02c0"
}
forAll50 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo1/utxo.skey
forAll51 =
━━━━ File: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo3/utxo.vkey ━━━━
{
"type": "GenesisUTxOVerificationKey_ed25519",
"description": "Genesis Initial UTxO Verification Key",
"cborHex": "582064a9623dd413e5ace6fbd81b022b8a6bcf4e537ce3d00817e4eea26c12f5a4fa"
}
forAll52 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo3/utxo.vkey
forAll53 =
━━━━ File: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo3/utxo.skey ━━━━
{
"type": "GenesisUTxOSigningKey_ed25519",
"description": "Genesis Initial UTxO Signing Key",
"cborHex": "582089c9417f9dc6552958968e6e6a1a0a6c04a059a4cf72e0ebc72a955df817b33f"
}
forAll54 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo3/utxo.skey
forAll55 =
━━━━ File: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo2/utxo.vkey ━━━━
{
"type": "GenesisUTxOVerificationKey_ed25519",
"description": "Genesis Initial UTxO Verification Key",
"cborHex": "5820c427b17c63dd22c4a0b29ffb4460826f4c218207bc4300e1c5d08668e6275781"
}
forAll56 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo2/utxo.vkey
forAll57 =
━━━━ File: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo2/utxo.skey ━━━━
{
"type": "GenesisUTxOSigningKey_ed25519",
"description": "Genesis Initial UTxO Signing Key",
"cborHex": "5820bff1e0fedbdb1ea032f3a608a005aa40252ffbf2fe2067785ff36d9b05deca12"
}
forAll58 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo2/utxo.skey
forAll59 =
━━━━ File: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo1/utxo.vkey ━━━━
{
"type": "GenesisUTxOVerificationKey_ed25519",
"description": "Genesis Initial UTxO Verification Key",
"cborHex": "58201839a8a5baae12fe9cbf1c7433bbd6e47d4a43af4d9f94ac9d829949e02212bd"
}
forAll60 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo1/utxo.vkey
forAll61 =
━━━━ File: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo1/utxo.skey ━━━━
{
"type": "GenesisUTxOSigningKey_ed25519",
"description": "Genesis Initial UTxO Signing Key",
"cborHex": "5820079a7c7307d37a0fe7045c85c5ec80b3e8247878906063db94b0f6cf3afb02c0"
}
forAll62 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo1/utxo.skey
forAll63 =
2024-05-16 23:53:33.76662 UTC
forAll64 =
2024-05-16 23:54:15.688579 UTC
forAll65 =
2024-05-16 23:53:30.688579 UTC
forAll66 =
Node name: pool3
forAll67 =
Node name: pool2
forAll68 =
Node name: pool1
forAll69 =
Writing file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool3/topology.json
forAll70 =
Writing file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool2/topology.json
forAll71 =
Writing file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool1/topology.json
forAll72 =
Writing file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool3/port
forAll73 =
Renaming from "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/byron-gen-command/delegation-cert.002.json" to "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool3/byron-delegation.cert"
forAll74 =
Renaming from "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/byron-gen-command/delegate-keys.002.key" to "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool3/byron-delegate.key"
forAll75 =
Writing file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool2/port
forAll76 =
Renaming from "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/byron-gen-command/delegation-cert.001.json" to "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool2/byron-delegation.cert"
forAll77 =
Renaming from "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/byron-gen-command/delegate-keys.001.key" to "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool2/byron-delegate.key"
forAll78 =
Writing file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool1/port
forAll79 =
Renaming from "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/byron-gen-command/delegation-cert.000.json" to "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool1/byron-delegation.cert"
forAll80 =
Renaming from "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/byron-gen-command/delegate-keys.000.key" to "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool1/byron-delegate.key"
forAll81 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo3/utxo.addr
forAll82 =
━━━━ command ━━━━
/nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli address build --payment-verification-key-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo3/utxo.vkey --testnet-magic 42 --out-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo3/utxo.addr
forAll83 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo2/utxo.addr
forAll84 =
━━━━ command ━━━━
/nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli address build --payment-verification-key-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo2/utxo.vkey --testnet-magic 42 --out-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo2/utxo.addr
forAll85 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo1/utxo.addr
forAll86 =
━━━━ command ━━━━
/nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli address build --payment-verification-key-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo1/utxo.vkey --testnet-magic 42 --out-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo1/utxo.addr
forAll87 =
[PoolNodeKeys {poolNodeKeysCold = KeyPair {verificationKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool1/cold.vkey", signingKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool1/cold.skey"}, poolNodeKeysVrf = KeyPair {verificationKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool1/vrf.vkey", signingKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool1/vrf.skey"}, poolNodeKeysStaking = KeyPair {verificationKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool1/staking-reward.vkey", signingKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool1/staking-reward.skey"}},PoolNodeKeys {poolNodeKeysCold = KeyPair {verificationKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool2/cold.vkey", signingKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool2/cold.skey"}, poolNodeKeysVrf = KeyPair {verificationKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool2/vrf.vkey", signingKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool2/vrf.skey"}, poolNodeKeysStaking = KeyPair {verificationKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool2/staking-reward.vkey", signingKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool2/staking-reward.skey"}},PoolNodeKeys {poolNodeKeysCold = KeyPair {verificationKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool3/cold.vkey", signingKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool3/cold.skey"}, poolNodeKeysVrf = KeyPair {verificationKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool3/vrf.vkey", signingKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool3/vrf.skey"}, poolNodeKeysStaking = KeyPair {verificationKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool3/staking-reward.vkey", signingKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/pools-keys/pool3/staking-reward.skey"}}]
forAll88 =
Renaming from "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/byron-gen-command/genesis.json" to "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/byron/genesis.json"
forAll89 =
byron-gen-command
forAll90 =
pools-keys
forAll91 =
genesis.alonzo.spec.json
forAll92 =
utxo-keys
forAll93 =
stake-delegators
forAll94 =
byron
forAll95 =
work
forAll96 =
conway-genesis.json
forAll97 =
byron.genesis.spec.json
forAll98 =
shelley-genesis.json
forAll99 =
module
forAll100 =
drep-keys
forAll101 =
genesis-keys
forAll102 =
delegate-keys
forAll103 =
alonzo-genesis.json
forAll104 =
genesis.conway.spec.json
forAll105 =
Listing directory: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/
forAll106 =
Creating directory if missing: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/byron
forAll107 =
━━━━ command ━━━━
/nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli conway genesis create-testnet-data --spec-shelley /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/genesis-input.shelley.json --spec-alonzo /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/genesis-input.alonzo.json --spec-conway /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/genesis-input.conway.json --testnet-magic 42 --pools 3 --total-supply 2000000000000 --delegated-supply 1000000000000 --stake-delegators 3 --utxo-keys 3 --drep-keys 3 --start-time 2024-05-16T23:53:30Z --out-dir /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/
forAll108 =
Number of seeded UTxO keys: 3
forAll109 =
Number of stake delegators: 3
forAll110 =
Number of pools: 3
forAll111 =
Writing file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/genesis-input.shelley.json
forAll112 =
Reading file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/genesis-input.shelley.json
forAll113 =
Rewriting JSON file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/genesis-input.shelley.json
forAll114 =
Creating directory if missing: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc
forAll115 =
"/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/configuration.yaml"
forAll116 =
"/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/genesis.conway.spec.json"
forAll117 =
"/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/genesis.alonzo.spec.json"
forAll118 =
━━━━ command ━━━━
/nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli byron genesis genesis --protocol-magic 42 --start-time 1715903610 --k 10 --n-poor-addresses 0 --n-delegate-addresses 3 --total-balance 8000000001 --delegate-share 1 --avvm-entry-count 0 --avvm-entry-balance 0 --avvm-balance-factor 1 --protocol-parameters-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/byron.genesis.spec.json --genesis-output-dir /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/byron-gen-command
forAll119 =
Writing file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/byron.genesis.spec.json
forAll120 =
darwin
forAll121 =
2024-05-16 23:53:30.038063 UTC
forAll122 =
2024-05-16 23:53:15.038063 UTC
┏━━ test/cardano-testnet-test/Cardano/Testnet/Test/Cli/Conway/Plutus.hs ━━━
46 ┃ hprop_plutus_v3 :: Property
47 ┃ hprop_plutus_v3 = integrationWorkspace "all-plutus-script-purposes" $ \tempAbsBasePath' -> runWithDefaultWatchdog_ $ do
┃ │ Workspace: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc
48 ┃ H.note_ SYS.os
┃ │ darwin
49 ┃ conf@Conf { tempAbsPath } <- mkConf tempAbsBasePath'
┃ │ /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc
50 ┃ let tempAbsPath' = unTmpAbsPath tempAbsPath
51 ┃ work <- H.createDirectoryIfMissing $ tempAbsPath' </> "work"
┃ │ Creating directory if missing: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/work
52 ┃
53 ┃ let
54 ┃ tempBaseAbsPath = makeTmpBaseAbsPath $ TmpAbsolutePath tempAbsPath'
55 ┃ sbe = ShelleyBasedEraConway
56 ┃ era = toCardanoEra sbe
57 ┃ anyEra = AnyCardanoEra era
58 ┃ options = cardanoDefaultTestnetOptions
59 ┃ { cardanoNodeEra = anyEra -- TODO: We should only support the latest era and the upcoming era
60 ┃ }
61 ┃
62 ┃ TestnetRuntime
63 ┃ { configurationFile
64 ┃ , testnetMagic
65 ┃ , poolNodes
66 ┃ , wallets=wallet0:wallet1:_
67 ┃ } <- cardanoTestnetDefault options conf
68 ┃
69 ┃ PoolNode{poolRuntime} <- H.headM poolNodes
70 ┃ poolSprocket1 <- H.noteShow $ nodeSprocket poolRuntime
┃ │ Sprocket {sprocketBase = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/", sprocketName = "./socket/pool1/sock"}
71 ┃ execConfig <- mkExecConfig tempBaseAbsPath poolSprocket1 testnetMagic
72 ┃ H.noteShow_ wallet0
┃ │ PaymentKeyInfo {paymentKeyInfoPair = KeyPair {verificationKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo1/utxo.vkey", signingKey = "/private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo1/utxo.skey"}, paymentKeyInfoAddr = "addr_test1vzlpk8a7xrmay7wgfus0a7algkkncwffgh0k829uvfdfp3suax8fh"}
73 ┃ let utxoAddr = Text.unpack $ paymentKeyInfoAddr wallet0
74 ┃ utxoSKeyFile = signingKeyFp $ paymentKeyInfoPair wallet0
75 ┃ utxoSKeyFile2 = signingKeyFp $ paymentKeyInfoPair wallet1
76 ┃ socketPath = nodeSocketPath poolRuntime
77 ┃
78 ┃ epochStateView <- getEpochStateView configurationFile socketPath
79 ┃ txin1 <- findLargestUtxoForPaymentKey epochStateView sbe wallet0
┃ │ Finding UTxOs for addr_test1vzlpk8a7xrmay7wgfus0a7algkkncwffgh0k829uvfdfp3suax8fh
┃ │ (TxIn "d2d6722f309cfa068f812f82f6faa3ca5cd5c0bb84bfe657b6b40f9347f98587" (TxIx 0),TxOut (AddressInEra (ShelleyAddressInEra ShelleyBasedEraConway) (ShelleyAddress Testnet (KeyHashObj (KeyHash "be1b1fbe30f7d279c84f20fefbbf45ad3c392945df63a8bc625a90c6")) StakeRefNull)) (TxOutValueShelleyBased ShelleyBasedEraConway (MaryValue (Coin 300000000000) (MultiAsset (fromList [])))) TxOutDatumNone ReferenceScriptNone)
┃ │ Largest UTxO for addr_test1vzlpk8a7xrmay7wgfus0a7algkkncwffgh0k829uvfdfp3suax8fh: TxIn "d2d6722f309cfa068f812f82f6faa3ca5cd5c0bb84bfe657b6b40f9347f98587" (TxIx 0)
80 ┃
81 ┃ plutusMintingScript <- H.note $ work </> "always-succeeds-non-spending-script.plutusV3"
┃ │ /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/work/always-succeeds-non-spending-script.plutusV3
82 ┃ H.writeFile plutusMintingScript $ Text.unpack plutusV3NonSpendingScript
┃ │ Writing file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/work/always-succeeds-non-spending-script.plutusV3
83 ┃
84 ┃ plutusSpendingScript <- H.note $ work </> "always-succeeds-spending-script.plutusV3"
┃ │ /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/work/always-succeeds-spending-script.plutusV3
85 ┃ H.writeFile plutusSpendingScript $ Text.unpack plutusV3SpendingScript
┃ │ Writing file: /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/work/always-succeeds-spending-script.plutusV3
86 ┃
87 ┃ let sendAdaToScriptAddressTxBody = work </> "send-ada-to-script-address-tx-body"
88 ┃
89 ┃ plutusSpendingScriptAddr <-
90 ┃ execCli' execConfig
┃ │ ━━━━ command ━━━━
┃ │ /nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli address build --payment-script-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/work/always-succeeds-spending-script.plutusV3
91 ┃ [ "address", "build"
92 ┃ , "--payment-script-file", plutusSpendingScript
93 ┃ ]
94 ┃
95 ┃ mintingPolicyId <- filter (/= '\n') <$>
96 ┃ execCli' execConfig
┃ │ ━━━━ command ━━━━
┃ │ /nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli conway transaction policyid --script-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/work/always-succeeds-non-spending-script.plutusV3
97 ┃ [ anyEraToString anyEra, "transaction"
98 ┃ , "policyid"
99 ┃ , "--script-file", plutusMintingScript
100 ┃ ]
101 ┃ let assetName = "4D696C6C6172436F696E"
102 ┃ H.note_ $ "plutusSpendingScriptAddr: " <> plutusSpendingScriptAddr
┃ │ plutusSpendingScriptAddr: addr_test1wph2qmchca749uywyzx76y9skl8lasqctma5yg9p4sv250c78asaq
103 ┃
104 ┃ scriptdatumhash <- filter (/= '\n') <$>
105 ┃ execCli' execConfig
┃ │ ━━━━ command ━━━━
┃ │ /nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli transaction hash-script-data --script-data-value 0
106 ┃ [ "transaction", "hash-script-data"
107 ┃ , "--script-data-value", "0"
108 ┃ ]
109 ┃
110 ┃ scriptStakeRegistrationCertificate
111 ┃ <- H.note $ work </> "script-stake-registration-certificate"
┃ │ /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/work/script-stake-registration-certificate
112 ┃
113 ┃ -- Create script stake registration certificate
114 ┃ createScriptStakeRegistrationCertificate
┃ │ ━━━━ command ━━━━
┃ │ /nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli conway stake-address registration-certificate --stake-script-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/work/always-succeeds-spending-script.plutusV3 --out-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/work/script-stake-registration-certificate --key-reg-deposit-amt 0
115 ┃ tempAbsPath
116 ┃ anyEra
117 ┃ plutusSpendingScript
118 ┃ 0
119 ┃ scriptStakeRegistrationCertificate
120 ┃
121 ┃ -- 1. Put UTxO and datum at Plutus spending script address
122 ┃ -- Register script stake address
123 ┃ void $ execCli' execConfig
┃ │ ━━━━ command ━━━━
┃ │ /nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli conway transaction build --change-address addr_test1vzlpk8a7xrmay7wgfus0a7algkkncwffgh0k829uvfdfp3suax8fh --tx-in d2d6722f309cfa068f812f82f6faa3ca5cd5c0bb84bfe657b6b40f9347f98587#0 --tx-out addr_test1wph2qmchca749uywyzx76y9skl8lasqctma5yg9p4sv250c78asaq+5000000 --tx-out-datum-hash 03170a2e7597b7b7e3d84c05391d139a62b157e78786d8c082f29dcf4c111314 --out-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/work/send-ada-to-script-address-tx-body
124 ┃ [ anyEraToString anyEra, "transaction", "build"
125 ┃ , "--change-address", Text.unpack $ paymentKeyInfoAddr wallet0
126 ┃ , "--tx-in", Text.unpack $ renderTxIn txin1
127 ┃ , "--tx-out", plutusSpendingScriptAddr <> "+" <> show @Int 5_000_000
128 ┃ , "--tx-out-datum-hash", scriptdatumhash
129 ┃ , "--out-file", sendAdaToScriptAddressTxBody
130 ┃ ]
131 ┃
132 ┃ let sendAdaToScriptAddressTx = work </> "send-ada-to-script-address-tx"
133 ┃ void $ execCli' execConfig
┃ │ ━━━━ command ━━━━
┃ │ /nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli transaction sign --tx-body-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/work/send-ada-to-script-address-tx-body --signing-key-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/utxo-keys/utxo1/utxo.skey --out-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/work/send-ada-to-script-address-tx
134 ┃ [ "transaction", "sign"
135 ┃ , "--tx-body-file", sendAdaToScriptAddressTxBody
136 ┃ , "--signing-key-file", utxoSKeyFile
137 ┃ , "--out-file", sendAdaToScriptAddressTx
138 ┃ ]
139 ┃
140 ┃ void $ execCli' execConfig
┃ │ ━━━━ command ━━━━
┃ │ /nix/store/bf1kvhy6fh80ya6apvy5c4fdh6djq9qc-cardano-cli-exe-cardano-cli-8.23.1.0/bin/cardano-cli transaction submit --tx-file /private/tmp/tmp.3Oea7UDM7V/all-plutus-script-purposes-test-a66e25a4f70202cc/work/send-ada-to-script-address-tx
141 ┃ [ "transaction", "submit"
142 ┃ , "--tx-file", sendAdaToScriptAddressTx
143 ┃ ]
144 ┃
145 ┃ _ <- waitForEpochs epochStateView (L.EpochInterval 1)
146 ┃
147 ┃ -- 2. Successfully spend conway spending script
148 ┃ txinCollateral <- findLargestUtxoForPaymentKey epochStateView sbe wallet1
┃ │ Finding UTxOs for addr_test1vpt9q2par7m82cjl99cpfhqmzhv7x7hcvjdzq537fldme8q0s0cls
┃ │ (TxIn "016415bb10db8d56533cb8c559d904c364d5e7b81baddfc487ff4cba3ad3f955" (TxIx 0),TxOut (AddressInEra (ShelleyAddressInEra ShelleyBasedEraConway) (ShelleyAddress Testnet (KeyHashObj (KeyHash "5650283d1fb675625f297014dc1b15d9e37af8649a20523e4fdbbc9c")) StakeRefNull)) (TxOutValueShelleyBased ShelleyBasedEraConway (MaryValue (Coin 300000000000) (MultiAsset (fromList [])))) TxOutDatumNone ReferenceScriptNone)
┃ │ Largest UTxO for addr_test1vpt9q2par7m82cjl99cpfhqmzhv7x7hcvjdzq537fldme8q0s0cls: TxIn "016415bb10db8d56533cb8c559d904c364d5e7b81baddfc487ff4cba3ad3f955" (TxIx 0)
149 ┃ plutusScriptTxIn <- fmap fst . H.nothingFailM $
┃ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
┃ │ Expected Just
150 ┃ findLargestUtxoWithAddress epochStateView sbe $ Text.pack plutusSpendingScriptAddr
┃ │ Finding UTxOs for addr_test1wph2qmchca749uywyzx76y9skl8lasqctma5yg9p4sv250c78asaq
151 ┃
152 ┃ let spendScriptUTxOTxBody = work </> "spend-script-utxo-tx-body"
153 ┃ spendScriptUTxOTx = work </> "spend-script-utxo-tx"
154 ┃ mintValue = mconcat ["5 ", mintingPolicyId, ".", assetName]
155 ┃ txout = mconcat [ utxoAddr, "+", show @Int 2_000_000
156 ┃ , "+", mintValue
157 ┃ ]
158 ┃
159 ┃ void $ execCli' execConfig
160 ┃ [ anyEraToString anyEra, "transaction", "build"
161 ┃ , "--change-address", Text.unpack $ paymentKeyInfoAddr wallet1
162 ┃ , "--tx-in-collateral", Text.unpack $ renderTxIn txinCollateral
163 ┃ , "--tx-in", Text.unpack $ renderTxIn plutusScriptTxIn
164 ┃ , "--tx-in-script-file", plutusSpendingScript
165 ┃ , "--tx-in-datum-value", "0"
166 ┃ , "--tx-in-redeemer-value", "0"
167 ┃ , "--mint", mintValue
168 ┃ , "--mint-script-file", plutusMintingScript
169 ┃ , "--mint-redeemer-value", "0"
170 ┃ , "--certificate-file", scriptStakeRegistrationCertificate
171 ┃ , "--certificate-script-file", plutusSpendingScript
172 ┃ , "--certificate-redeemer-value", "0"
173 ┃ , "--tx-out", txout
174 ┃ , "--out-file", spendScriptUTxOTxBody
175 ┃ ]
176 ┃
177 ┃ void $ execCli' execConfig
178 ┃ [ "transaction", "sign"
179 ┃ , "--tx-body-file", spendScriptUTxOTxBody
180 ┃ , "--signing-key-file", utxoSKeyFile2
181 ┃ , "--out-file", spendScriptUTxOTx
182 ┃ ]
183 ┃
184 ┃ void $ execCli' execConfig
185 ┃ [ "transaction", "submit"
186 ┃ , "--tx-file", spendScriptUTxOTx
187 ┃ ]
188 ┃ H.success
This failure can be reproduced by running:
> recheckAt (Seed 1488284083850501292 3099876675128086367) "1:" PlutusV3
Use "--pattern '$NF ~ /PlutusV3/' --hedgehog-replay '1: Seed 1488284083850501292 3099876675128086367'" to reproduce from the command-line.
Use -p '/PlutusV3/' to rerun this test only.
CLI
Shutdown: OK (13.69s)
✓ Shutdown passed 1 test.
Shutdown On Sigint: IGNORED on MacOS and Windows
IGNORED on MacOS and Windows
Babbage
leadership-schedule: IGNORED on MacOS and Windows
IGNORED on MacOS and Windows
stake-snapshot: OK (166.02s)
✓ stake-snapshot passed 1 test.
transaction: OK (23.73s)
✓ transaction passed 1 test.
kes-period-info: OK (173.03s)
✓ kes-period-info passed 1 test.
query-slot-number: OK (20.15s)
✓ query-slot-number passed 1 test.
foldEpochState receives ledger state: OK (28.99s)
✓ foldEpochState receives ledger state passed 1 test.
CliQueries: OK (22.03s)
✓ CliQueries passed 1 test.
SubmitApi
Babbage
transaction: OK (34.74s)
✓ transaction passed 1 test.
1 out of 20 tests failed (784.69s)
Loading