Misc refactors #1340
Closed
Misc refactors #1340
IOG Hydra / ci/hydra-build:x86_64-linux.x86_64-w64-mingw32.checks.cardano-cli:test:cardano-cli-test
failed
Mar 6, 2026 in 37s
Build failed
1 failed steps
Details
Failed Steps
Step 1
Derivation
/nix/store/avmgmv8yh7a84w0pzandi8fm50nmxn8w-cardano-cli-test-cardano-cli-test-x86_64-w64-mingw32-10.15.0.1-check-x86_64-w64-mingw32.drv
Log
Running phase: unpackPhase
unpacking source archive /nix/store/8hx1jkwv9qx7w2m0vl4icp506f0s1zj5-source-cardano-cli-test-cardano-cli-test-root
source root is source-cardano-cli-test-cardano-cli-test-root
Running phase: patchPhase
Running phase: buildPhase
/nix/store/ii37j4cgwkx00x65nfsdd1zjm782hwkr-cardano-cli-test-cardano-cli-test-x86_64-w64-mingw32-10.15.0.1/bin:
patching script interpreter paths in /build/tmp.QXDvAAL7rL/bin
004c:err:vulkan:vulkan_init_once Wine was built without Vulkan support.
004c:err:systray:initialize_systray Could not create tray window
0094:err:setupapi:SetupDefaultQueueCallbackW copy error 1812 L"@C:\\windows\\system32\\drivers\\wineusb.sys,-1" -> L"C:\\windows\\inf\\wineusb.inf"
wine: failed to open L"C:\\windows\\syswow64\\rundll32.exe": c0000135
002c:err:setupapi:do_file_copyW Unsupported style(s) 0x10
00f8:err:ntoskrnl:ZwLoadDriver failed to create driver L"\\Registry\\Machine\\System\\CurrentControlSet\\Services\\winebth": c00000e5
002c:err:setupapi:SetupDiInstallDevice Failed to start service L"winebth" for device L"ROOT\\WINE\\WINEBTH", error 1359.
002c:err:setupapi:SetupDiInstallDevice Failed to control service L"winebth" for device L"ROOT\\WINE\\WINEBTH", error 1062.
002c:err:setupapi:do_file_copyW Unsupported style(s) 0x10
0120:err:setupapi:do_file_copyW Unsupported style(s) 0x10
0120:err:setupapi:do_file_copyW Unsupported style(s) 0x10
test/cardano-cli-test/cardano-cli-test.hs
roundtrip Alonzo addCostModelsToEraBasedProtocolParametersUpdate: NeNtewtowrokr.NkSe.otScwokocerktke..taS.coacccekcpeettp:.ta:fcacfiealpietld:e
d(fUa(niUklnnekodnwon(wUnWnikWnniSonowScnokcWkeirnerSroorrco:kr:9e9r9
5r9)o5
r):
995)
Network.Socket.accept:failed(UnNkentNNoweewotNtnrwewkotoW.rwriSkokno.r.ScSkSo
ko.ocecScktkok.eceeatktrc.e.rcataoec.crpcac:tece:pcp9tet9f:p:5at)if:f
NNlaaeeeifittdlaNlwweiNNNeNeoo(dNleeetedrrUeetttwtkkn(tdwwwow(..kUwoooroNUS
SnnoN(rrrkrenoookreUkkk.ktkccwnktn...S.wnkkno.wkSSSoSooeewSonooocorwttWnoroccck
ckn..ickwkkkek.aanWk.neeeteSWccSieSttt.toiccontoW...a.cneecS.ciaaacakSppkoakn
ccccceottcceScccectc::ekctoeeepe.kre.cppptpaffrepakttt:tceaaortc::::criir
r:ceferll:oerfffafpoeerfpraaaiatrdd9:atoiiili::9i:rlllel((59l:eeedef
9UU)9efdddda9nn
5da9(i5kk)i9(((U(l)nn
(l5UUUnUe
ooUe)nnnkndwwnd
kkknknnknnnon(n(ooowoUWWoUwwwnwniiwnnnnnknnnkWnSSnWWWiWoooWoiiiniwcciw
nnnSnnkknnSSSoSSooocoWeeoWccckcirrcikkkknrrkneSooSeeereorreorrrrrc::rc
rrrorkrkoooro99orrr:re99re::::r55:r9r))r99999o
9o99959r9r555)5:5:)))
))
9
99955))
OK (34.55s)
✓ Test.Cli.AddCostModels.hprop_roundtrip_Alonzo_addCostModelsToEraBasedProtocolParametersUpdate passed 100 tests.
roundtrip Babbage addCostModelsToEraBasedProtocolParametersUpdate: OK (34.65s)
✓ Test.Cli.AddCostModels.hprop_roundtrip_Babbage_addCostModelsToEraBasedProtocolParametersUpdate passed 100 tests.
roundtrip Conway addCostModelsToEraBasedProtocolParametersUpdate: OK (34.63s)
✓ Test.Cli.AddCostModels.hprop_roundtrip_Conway_addCostModelsToEraBasedProtocolParametersUpdate passed 100 tests.
golden shelleyGenesisKeyDelegationCertificate: OK (9.89s)
✓ Test.Cli.Certificates.GenesisKeyDelegationCertificate.hprop_golden_shelleyGenesisKeyDelegationCertificate passed 1 test.
stake pool certificate hash check wrong metadata fails: OK (9.73s)
✓ Test.Cli.Certificates.StakePool.hprop_stake_pool_certificate_hash_check_wrong_metadata_fails passed 1 test.
stake pool certificate hash check wrong hash fails: OK (9.06s)
✓ Test.Cli.Certificates.StakePool.hprop_stake_pool_certificate_hash_check_wrong_hash_fails passed 1 test.
stake pool certificate hash check right hash works: OK (9.52s)
✓ Test.Cli.Certificates.StakePool.hprop_stake_pool_certificate_hash_check_right_hash_works passed 1 test.
stake pool metadata hash url wrong metadata fails: OK (3.17s)
✓ Test.Cli.Certificates.StakePool.hprop_stake_pool_metadata_hash_url_wrong_metadata_fails passed 1 test.
stake pool metadata hash url wrong hash fails: OK (2.67s)
✓ Test.Cli.Certificates.StakePool.hprop_stake_pool_metadata_hash_url_wrong_hash_fails passed 1 test.
stake pool metadata hash url correct hash: OK (1.72s)
✓ Test.Cli.Certificates.StakePool.hprop_stake_pool_metadata_hash_url_correct_hash passed 1 test.
check node configuration success: OK (0.77s)
✓ Test.Cli.CheckNodeConfiguration.hprop_check_node_configuration_success passed 1 test.
check node configuration failure: OK (25.44s)
✓ Test.Cli.CheckNodeConfiguration.hprop_check_node_configuration_failure passed 1 test.
compatible stake address delegation certificate: OK (8.70s)
✓ Test.Cli.Compatible.StakeAddress.DelegationCertificate.hprop_compatible_stake_address_delegation_certificate passed 1 test.
compatible stake address registration certificate: OK (7.32s)
✓ Test.Cli.Compatible.StakeAddress.RegistrationCertificate.hprop_compatible_stake_address_registration_certificate passed 1 test.
compatible stake pool registration certificate: OK (10.06s)
✓ Test.Cli.Compatible.StakePool.RegistrationCertificate.hprop_compatible_stake_pool_registration_certificate passed 1 test.
compatible conway transaction build one voter many votes: OK (9.52s)
✓ Test.Cli.Compatible.Transaction.Build.hprop_compatible_conway_transaction_build_one_voter_many_votes passed 1 test.
compatible shelley create update proposal: OK (6.37s)
✓ Test.Cli.Compatible.Transaction.Build.hprop_compatible_shelley_create_update_proposal passed 1 test.
create cardano: OK (3.62s)
✓ Test.Cli.CreateCardano.hprop_create_cardano passed 1 test.
create testnet data minimal: OK (3.46s)
✓ Test.Cli.CreateTestnetData.hprop_create_testnet_data_minimal passed 1 test.
create testnet data create nonegative supply: FAIL (27.72s)
✗ Test.Cli.CreateTestnetData.hprop_create_testnet_data_create_nonegative_supply failed at test/cardano-cli-test/Test/Cli/CreateTestnetData.hs:75:11
after 1 test.
shrink path: 1:
┏━━ test/cardano-cli-test/Test/Cli/CreateTestnetData.hs ━━━
54 ┃ hprop_create_testnet_data_create_nonegative_supply :: Property
55 ┃ hprop_create_testnet_data_create_nonegative_supply = do
56 ┃ -- FIXME rewrite this as a property test
57 ┃ let supplyValues =
58 ┃ [ -- (total supply, delegated supply, exit code)
59 ┃ (2_000_000_000, 1_000_000_000, ExitSuccess)
60 ┃ , (1_100_000_000, 1_000_000_000, ExitSuccess)
61 ┃ , (1_000_000_000, 1_000_000_000, ExitSuccess)
62 ┃ , (1_000_000_000_000, 1_000_000_000, ExitSuccess)
63 ┃ , (1_000_000_000, 1_000_000_001, ExitFailure 1)
64 ┃ , (1_000_000_000, 1_100_000_001, ExitFailure 1)
65 ┃ , (1_000_000_000, 2_000_000_000, ExitFailure 1)
66 ┃ ]
67 ┃ :: [(Int, Int, ExitCode)]
68 ┃
69 ┃ watchdogProp . propertyOnce $ forM_ supplyValues $ \(totalSupply, delegatedSupply, expectedExitCode) ->
70 ┃ moduleWorkspace "tmp" $ \tempDir -> do
┃ │ Workspace: C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-bcc00da7a2b34be4
┃ │ Workspace: C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-5a46b74c5be0b872
┃ │ Workspace: C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-598919121678f30a
┃ │ Workspace: C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-35f78d7f8d89612a
┃ │ Workspace: C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-03e6e9fa4184e89a
┃ │ Workspace: C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-c71d28909bee7f99
┃ │ Workspace: C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-a5c74b82f04c3c2f
71 ┃ let outputDir = tempDir </> "out"
72 ┃
73 ┃ (exitCode, _stdout, stderr) <-
74 ┃ H.noteShowM $
┃ │ (ExitSuccess,"","")
┃ │ (ExitSuccess,"","")
┃ │ (ExitSuccess,"","")
┃ │ (ExitSuccess,"","")
┃ │ (ExitFailure 1,"","Command failed: genesis create-testnet-data\nError: Provided delegated supply is 1000000001, which is greater than the specified total supply: 1000000000.This is incorrect: the delegated supply should be less or equal to the total supply. Note that the total supply can either come from --total-supply or from the default template. Please fix what you use.\nCallStack (from HasCallStack):\n fromExceptTCli, called at src/Cardano/CLI/EraBased/Genesis/CreateTestnetData/Run.hs:389:7 in cardano-cli-10.15.0.1-7x9WGz3GKYE4cQzIB6jaef:Cardano.CLI.EraBased.Genesis.CreateTestnetData.Run\n runGenesisCreateTestNetDataCmd, called at src/Cardano/CLI/EraBased/Genesis/Run.hs:117:36 in cardano-cli-10.15.0.1-7x9WGz3GKYE4cQzIB6jaef:Cardano.CLI.EraBased.Genesis.Run\n runGenesisCmds, called at src/Cardano/CLI/EraBased/Run.hs:49:5 in cardano-cli-10.15.0.1-7x9WGz3GKYE4cQzIB6jaef:Cardano.CLI.EraBased.Run\n runCmds, called at src/Cardano/CLI/EraBased/Run.hs:35:35 in cardano-cli-10.15.0.1-7x9WGz3GKYE4cQzIB6jaef:Cardano.CLI.EraBased.Run\n runAnyEraCommand, called at src/Cardano/CLI/Run.hs:56:5 in cardano-cli-10.15.0.1-7x9WGz3GKYE4cQzIB6jaef:Cardano.CLI.Run\n runClientCommand, called at app/cardano-cli.hs:58:14 in cardano-cli-10.15.0.1-IoZErQanrckBzi1EpBIKhu-cardano-cli:Main\n\n")
┃ │ (ExitFailure 1,"","Command failed: genesis create-testnet-data\nError: Provided delegated supply is 1100000001, which is greater than the specified total supply: 1000000000.This is incorrect: the delegated supply should be less or equal to the total supply. Note that the total supply can either come from --total-supply or from the default template. Please fix what you use.\nCallStack (from HasCallStack):\n fromExceptTCli, called at src/Cardano/CLI/EraBased/Genesis/CreateTestnetData/Run.hs:389:7 in cardano-cli-10.15.0.1-7x9WGz3GKYE4cQzIB6jaef:Cardano.CLI.EraBased.Genesis.CreateTestnetData.Run\n runGenesisCreateTestNetDataCmd, called at src/Cardano/CLI/EraBased/Genesis/Run.hs:117:36 in cardano-cli-10.15.0.1-7x9WGz3GKYE4cQzIB6jaef:Cardano.CLI.EraBased.Genesis.Run\n runGenesisCmds, called at src/Cardano/CLI/EraBased/Run.hs:49:5 in cardano-cli-10.15.0.1-7x9WGz3GKYE4cQzIB6jaef:Cardano.CLI.EraBased.Run\n runCmds, called at src/Cardano/CLI/EraBased/Run.hs:35:35 in cardano-cli-10.15.0.1-7x9WGz3GKYE4cQzIB6jaef:Cardano.CLI.EraBased.Run\n runAnyEraCommand, called at src/Cardano/CLI/Run.hs:56:5 in cardano-cli-10.15.0.1-7x9WGz3GKYE4cQzIB6jaef:Cardano.CLI.Run\n runClientCommand, called at app/cardano-cli.hs:58:14 in cardano-cli-10.15.0.1-IoZErQanrckBzi1EpBIKhu-cardano-cli:Main\n\n")
75 ┃ execDetailCardanoCLI
┃ │ Command: /nix/store/ax9fg83y8g1ykg4m1v32gmvh2ba7p33g-cardano-cli-exe-cardano-cli-x86_64-w64-mingw32-10.15.0.1/bin/cardano-cli.exe conway genesis create-testnet-data --testnet-magic 42 --pools 3 --total-supply 2000000000 --delegated-supply 1000000000 --stake-delegators 3 --utxo-keys 3 --drep-keys 3 --out-dir C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-bcc00da7a2b34be4\out
┃ │ Command: /nix/store/ax9fg83y8g1ykg4m1v32gmvh2ba7p33g-cardano-cli-exe-cardano-cli-x86_64-w64-mingw32-10.15.0.1/bin/cardano-cli.exe conway genesis create-testnet-data --testnet-magic 42 --pools 3 --total-supply 1100000000 --delegated-supply 1000000000 --stake-delegators 3 --utxo-keys 3 --drep-keys 3 --out-dir C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-5a46b74c5be0b872\out
┃ │ Command: /nix/store/ax9fg83y8g1ykg4m1v32gmvh2ba7p33g-cardano-cli-exe-cardano-cli-x86_64-w64-mingw32-10.15.0.1/bin/cardano-cli.exe conway genesis create-testnet-data --testnet-magic 42 --pools 3 --total-supply 1000000000 --delegated-supply 1000000000 --stake-delegators 3 --utxo-keys 3 --drep-keys 3 --out-dir C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-598919121678f30a\out
┃ │ Command: /nix/store/ax9fg83y8g1ykg4m1v32gmvh2ba7p33g-cardano-cli-exe-cardano-cli-x86_64-w64-mingw32-10.15.0.1/bin/cardano-cli.exe conway genesis create-testnet-data --testnet-magic 42 --pools 3 --total-supply 1000000000000 --delegated-supply 1000000000 --stake-delegators 3 --utxo-keys 3 --drep-keys 3 --out-dir C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-35f78d7f8d89612a\out
┃ │ Command: /nix/store/ax9fg83y8g1ykg4m1v32gmvh2ba7p33g-cardano-cli-exe-cardano-cli-x86_64-w64-mingw32-10.15.0.1/bin/cardano-cli.exe conway genesis create-testnet-data --testnet-magic 42 --pools 3 --total-supply 1000000000 --delegated-supply 1000000001 --stake-delegators 3 --utxo-keys 3 --drep-keys 3 --out-dir C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-03e6e9fa4184e89a\out
┃ │ Command: /nix/store/ax9fg83y8g1ykg4m1v32gmvh2ba7p33g-cardano-cli-exe-cardano-cli-x86_64-w64-mingw32-10.15.0.1/bin/cardano-cli.exe conway genesis create-testnet-data --testnet-magic 42 --pools 3 --total-supply 1000000000 --delegated-supply 1100000001 --stake-delegators 3 --utxo-keys 3 --drep-keys 3 --out-dir C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-c71d28909bee7f99\out
┃ │ Command: /nix/store/ax9fg83y8g1ykg4m1v32gmvh2ba7p33g-cardano-cli-exe-cardano-cli-x86_64-w64-mingw32-10.15.0.1/bin/cardano-cli.exe conway genesis create-testnet-data --testnet-magic 42 --pools 3 --total-supply 1000000000 --delegated-supply 2000000000 --stake-delegators 3 --utxo-keys 3 --drep-keys 3 --out-dir C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-a5c74b82f04c3c2f\out
┃ ^^^^^^^^^^^^^^^^^^^^
┃ │ ━━━ Exception (WatchdogException) ━━━
┃ │ WatchdogException: Test watchdog killed test case thread after 20 seconds.
76 ┃ [ "conway"
77 ┃ , "genesis"
78 ┃ , "create-testnet-data"
79 ┃ , "--testnet-magic"
80 ┃ , "42"
81 ┃ , "--pools"
82 ┃ , "3"
83 ┃ , "--total-supply"
84 ┃ , show totalSupply
85 ┃ , "--delegated-supply"
86 ┃ , show delegatedSupply
87 ┃ , "--stake-delegators"
88 ┃ , "3"
89 ┃ , "--utxo-keys"
90 ┃ , "3"
91 ┃ , "--drep-keys"
92 ┃ , "3"
93 ┃ , "--out-dir"
94 ┃ , outputDir
95 ┃ ]
96 ┃
97 ┃ H.note_ "check that exit code is equal to the expected one"
┃ │ check that exit code is equal to the expected one
┃ │ check that exit code is equal to the expected one
┃ │ check that exit code is equal to the expected one
┃ │ check that exit code is equal to the expected one
┃ │ check that exit code is equal to the expected one
┃ │ check that exit code is equal to the expected one
98 ┃ exitCode === expectedExitCode
99 ┃
100 ┃ if exitCode == ExitSuccess
101 ┃ then do
102 ┃ testGenesis@TestGenesis{maxLovelaceSupply, initialFunds} <-
103 ┃ H.leftFailM . H.readJsonFile $ outputDir </> "shelley-genesis.json"
┃ │ Reading JSON file: C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-bcc00da7a2b34be4\out\shelley-genesis.json
┃ │ Reading JSON file: C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-5a46b74c5be0b872\out\shelley-genesis.json
┃ │ Reading JSON file: C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-598919121678f30a\out\shelley-genesis.json
┃ │ Reading JSON file: C:\users\nixbld\AppData\Local\Temp\tmp-Test.Cli.CreateTestnetData-test-35f78d7f8d89612a\out\shelley-genesis.json
104 ┃ H.note_ $ show testGenesis
┃ │ TestGenesis {maxLovelaceSupply = 2000000000, initialFunds = fromList [("00563750bdbf6d76262cac87d7fe0077b668b26607aeb1727f8463e41eabe543f6fae4225e8f3d5564342b3b6c832af2a61abb7de68d8ccb8e",300000000),("0073cd13d565d13d066f4ac575cdda20a80187ae0bc607f228aa3ca0f73684e8a9145ac824718174cdfe856aebf6ddaed9343f4871c7ca5b3f",300000000),("00f72d7ff7e34e52e94f1c5c0ee88ce0321cfc2ac3d154737e4fb12d8d73b6d9c790f18b90d63bad7c20277f495adfc0ae7f14cea113c5cfdd",300000000),("603e60264f2ebdac7d6e9d71d40dfe9897e50ee9309171a20e6b3a8119",300000000),("609c8cd4b7d127d080bfde9126faba9aeee89e8ca6e75a236ca4213174",300000000),("60ae9eb24e5a96f7a9b772a8b3470a229f407f31afb32e4fab403fb96a",300000000)]}
┃ │ TestGenesis {maxLovelaceSupply = 1100000000, initialFunds = fromList [("002d461184d86eb7e1f860f6c0a25e257b65c1a90a0b80d6009843e36c57edf6512b1941ce3d8ddce3f22dd233c5634c9cb5a7f034f58bd002",300000000),("005e267eff0180f04936e4779f28664c92b961dfb8ab1abba9df867399ddd3163fc3bd1facc9daad1e9aa8a7fb76dc9341ec60213bfb5a9203",300000000),("00f960518c85b3e7fdc9bb1f4f9b2830ecb90070edbfdb36c647c045535a90ade2aa96b926596ecfbbe14e1a934db5331eeee2a25a6caea67f",300000000),("6011bf26f8117aed8f7ebdfb027cd4fbc9e601fe234bbefba646fd6139",30000000),("60a4a170e340ff724f34c505253a8bf1d20c68844f7796fd32c4a8e583",30000000),("60a810ba87b56df6b4c7b6c40854971471d37f21cd12dfb87b32269fd1",30000000)]}
┃ │ TestGenesis {maxLovelaceSupply = 1000000000, initialFunds = fromList [("0027d4b7ac0269b3a1b9d42bb3fc9bf1bf6a80e46612632fa83a970803fe918be97bb5f0c58ea0574c65febc3fd643a5a90f624448836ef77d",300000000),("0038e950577e0d14131f658f837f9c9d24957b270dcda63cc998c4c27085bc034da0aefc528f7d2b6121dd7d266fc702a6bd582a78aa6ca67b",300000000),("007ee8ab07dbb0207db6ac85f5b66de04966b017d29954b25a86cc6dfd94f863cf42d71ccb59cc7837d9d62b81ed7cdfb88c78a3dc028e54e2",300000000),("600441207979bd088936526ea783027b2c064424b652ae78db982beacb",0),("6035359c533135bb0e80720e88eece08bc2f7c462a56795b3074e806a3",0),("6051053813f0f16f4810f531f369f6f41c1791af8630c54195e08264b5",0)]}
┃ │ TestGenesis {maxLovelaceSupply = 1000000000000, initialFunds = fromList [("0020218ba6d19fd8b8469529ed48b4ad827bd538a684213172c129c9a1d82e03bb3482828246422e37245861da6e80bba65991e1b38aab1db2",300000000),("002406dbfee7ed4535ce2064d7b4f99ce79e2efb5cc7657822d77d690b437932cee07ec0ce86804e17f0904334086ab0fb86041aa58c88448c",300000000),("00c1833a42e7dbc948c730bd26c1a12ceeb807aa5884ec20bd7ec3ad98a77c4ed0e3a9e9aa5dd41a52c3abd049c4adfebd1f0f2a60010dffac",300000000),("601493ec3b25697e01049d9f72d3de986a7b5b73ca24ff6b4ae9002cf8",299700000000),("6061c8804a5def5989c49461d222e9beaf7dfe01537d4a6ca072ed218a",299700000000),("609fbdda8ed1bb039fa7a97eb4ced65755ea489d05670607d122ddb995",299700000000)]}
105 ┃
106 ┃ H.note_ "check that max lovelace supply is set equal to --total-supply flag value"
┃ │ check that max lovelace supply is set equal to --total-supply flag value
┃ │ check that max lovelace supply is set equal to --total-supply flag value
┃ │ check that max lovelace supply is set equal to --total-supply flag value
┃ │ check that max lovelace supply is set equal to --total-supply flag value
107 ┃ maxLovelaceSupply === totalSupply
108 ┃
109 ┃ H.note_ "check that all initial funds are positive"
┃ │ check that all initial funds are positive
┃ │ check that all initial funds are positive
┃ │ check that all initial funds are positive
┃ │ check that all initial funds are positive
110 ┃ H.assertWith initialFunds $ all (>= 0) . M.elems
111 ┃
112 ┃ H.note_ "check that initial funds are not bigger than max lovelace supply"
┃ │ check that initial funds are not bigger than max lovelace supply
┃ │ check that initial funds are not bigger than max lovelace supply
┃ │ check that initial funds are not bigger than max lovelace supply
┃ │ check that initial funds are not bigger than max lovelace supply
113 ┃ H.assertWith initialFunds $ \initialFunds' -> do
114 ┃ let totalDistributed = sum . M.elems $ initialFunds'
115 ┃ totalDistributed <= maxLovelaceSupply
116 ┃ else do
117 ┃ H.assertWith stderr (`contains` "delegated supply should be less or equal to the total supply")
118 ┃ where
119 ┃ contains s1 s2 = s2 `isInfixOf` s1
This failure can be reproduced by running:
> recheckAt (Seed 16537306464712649473 12098187872047623095) "1:" Test.Cli.CreateTestnetData.hprop_create_testnet_data_create_nonegative_supply
Use "--pattern '$NF ~ /create testnet data create nonegative supply/' --hedgehog-replay '1: Seed 16537306464712649473 12098187872047623095'" to reproduce from the command-line.
Use -p '/create testnet data create nonegative supply/' to rerun this test only.
create testnet data transient stake delegators: OK (2.51s)
✓ Test.Cli.CreateTestnetData.hprop_create_testnet_data_transient_stake_delegators passed 1 test.
drep metadata hash url wrong hash fails: OK (2.41s)
✓ Test.Cli.DRepMetadata.hprop_drep_metadata_hash_url_wrong_hash_fails passed 1 test.
drep metadata hash url correct hash: OK (1.73s)
✓ Test.Cli.DRepMetadata.hprop_drep_metadata_hash_url_correct_hash passed 1 test.
createVRFSigningKeyFilePermissions: OK (1.55s)
✓ Test.Cli.FilePermissions.hprop_createVRFSigningKeyFilePermissions passed 1 test.
governance committee checks wrong hash fails: OK (5.90s)
✓ Test.Cli.Governance.Committee.hprop_governance_committee_checks_wrong_hash_fails passed 1 test.
governance committee checks right hash works: OK (5.21s)
✓ Test.Cli.Governance.Committee.hprop_governance_committee_checks_right_hash_works passed 1 test.
governance drep registration certificate script hash: OK (9.04s)
✓ Test.Cli.Governance.DRep.hprop_governance_drep_registration_certificate_script_hash passed 1 test.
governance drep update certificate vkey file: OK (14.53s)
✓ Test.Cli.Governance.DRep.hprop_governance_drep_update_certificate_vkey_file passed 1 test.
golden governance drep registration certificate vkey file wrong hash fails: OK (7.54s)
✓ Test.Cli.Governance.DRep.hprop_golden_governance_drep_registration_certificate_vkey_file_wrong_hash_fails passed 1 test.
golden governance drep registration certificate vkey file: OK (7.35s)
✓ Test.Cli.Governance.DRep.hprop_golden_governance_drep_registration_certificate_vkey_file passed 1 test.
golden governance drep update certificate vkey file wrong hash fails: OK (8.22s)
✓ Test.Cli.Governance.DRep.hprop_golden_governance_drep_update_certificate_vkey_file_wrong_hash_fails passed 1 test.
golden governance drep update certificate vkey file: OK (7.43s)
✓ Test.Cli.Governance.DRep.hprop_golden_governance_drep_update_certificate_vkey_file passed 1 test.
governance committee key hash: OK (11.82s)
✓ Test.Cli.Governance.Hash.hprop_governance_committee_key_hash passed 1 test.
governance vote create wrong hash fails: OK (4.61s)
✓ Test.Cli.Governance.Vote.hprop_governance_vote_create_wrong_hash_fails passed 1 test.
governance vote create right hash works: OK (6.36s)
✓ Test.Cli.Governance.Vote.hprop_governance_vote_create_right_hash_works passed 1 test.
generate anchor data hash from file: OK (3.20s)
✓ Test.Cli.Hash.hprop_generate_anchor_data_hash_from_file passed 1 test.
check anchor data hash from file: OK (3.20s)
✓ Test.Cli.Hash.hprop_check_anchor_data_hash_from_file passed 1 test.
check anchor data hash from file fails: OK (3.79s)
✓ Test.Cli.Hash.hprop_check_anchor_data_hash_from_file_fails passed 1 test.
generate anchor data hash from file uri: OK (2.30s)
✓ Test.Cli.Hash.hprop_generate_anchor_data_hash_from_file_uri passed 1 test.
check anchor data hash from http uri: OK (5.38s)
✓ Test.Cli.Hash.hprop_check_anchor_data_hash_from_http_uri passed 1 test.
check anchor data hash from ipfs uri: OK (5.38s)
✓ Test.Cli.Hash.hprop_check_anchor_data_hash_from_ipfs_uri passed 1 test.
convertITNKeys: OK (5.39s)
✓ Test.Cli.ITN.hprop_convertITNKeys passed 1 test.
convertITNExtendedSigningKey: OK (4.84s)
✓ Test.Cli.ITN.hprop_convertITNExtendedSigningKey passed 1 test.
convertITNBIP32SigningKey: OK (5.17s)
✓ Test.Cli.ITN.hprop_convertITNBIP32SigningKey passed 1 test.
golden bech32Decode: OK (0.81s)
✓ Test.Cli.ITN.hprop_golden_bech32Decode passed 1 test.
json roundtrip delegations and rewards: OK (11.14s)
✓ Test.Cli.Json.hprop_json_roundtrip_delegations_and_rewards passed 100 tests.
roundtrip kes period info output JSON: OK (3.57s)
✓ Test.Cli.Json.hprop_roundtrip_kes_period_info_output_JSON passed 100 tests.
monad warning: OK (2.69s)
✓ Test.Cli.MonadWarning.hprop_monad_warning passed 100 tests.
integral reader: OK (3.07s)
✓ Test.Cli.Parser.hprop_integral_reader passed 100 tests.
integral pair reader positive: OK (2.52s)
✓ Test.Cli.Parser.hprop_integral_pair_reader_positive passed 100 tests.
integral pair reader negative: OK (0.56s)
✓ Test.Cli.Parser.hprop_integral_pair_reader_negative passed 1 test.
lovelace reader: OK (0.56s)
✓ Test.Cli.Parser.hprop_lovelace_reader passed 1 test.
url reader: OK (0.56s)
✓ Test.Cli.Parser.hprop_url_reader passed 1 test.
buildShelleyPaymentAddress: OK (3.31s)
✓ Test.Cli.Pioneers.Exercise1.hprop_buildShelleyPaymentAddress passed 1 test.
buildShelleyStakeAddress: OK (4.84s)
✓ Test.Cli.Pioneers.Exercise1.hprop_buildShelleyStakeAddress passed 1 test.
createTransaction: OK (5.90s)
✓ Test.Cli.Pioneers.Exercise2.hprop_createTransaction passed 1 test.
createOperationalCertificate: OK (6.34s)
✓ Test.Cli.Pioneers.Exercise3.hprop_createOperationalCertificate passed 1 test.
createStakeAddressRegistrationCertificate: OK (5.25s)
✓ Test.Cli.Pioneers.Exercise4.hprop_createStakeAddressRegistrationCertificate passed 1 test.
createLegacyZeroTxOutTransaction: OK (7.18s)
✓ Test.Cli.Pioneers.Exercise5.hprop_createLegacyZeroTxOutTransaction passed 1 test.
createZeroLovelaceTxOutTransaction: OK (7.49s)
✓ Test.Cli.Pioneers.Exercise6.hprop_createZeroLovelaceTxOutTransaction passed 1 test.
readFromPipe: OK (1.06s)
✓ Test.Cli.Pipes.hprop_readFromPipe passed 100 tests.
hash trip: OK (8.15s)
✓ Test.Cli.Run.Hash.hprop_hash_trip passed 1 test.
percentage: OK (1.39s)
✓ Test.Cli.Run.Query.hprop_percentage passed 1 test.
shelleyGenesisCreate: OK (7.74s)
✓ Test.Cli.Shelley.Genesis.Create.hprop_shelleyGenesisCreate passed 1 test.
conway transaction build one voter many votes: OK (2.99s)
✓ Test.Cli.Transaction.Build.hprop_conway_transaction_build_one_voter_many_votes passed 1 test.
conway transaction build raw negative txout: OK (3.56s)
✓ Test.Cli.Transaction.Build.hprop_conway_transaction_build_raw_negative_txout passed 1 test.
conway transaction build raw negative bits positive total txout: OK (3.23s)
✓ Test.Cli.Transaction.Build.hprop_conway_transaction_build_raw_negative_bits_positive_total_txout passed 1 test.
conway calculate plutus script cost offline: OK (4.18s)
✓ Test.Cli.Transaction.Build.hprop_conway_calculate_plutus_script_cost_offline passed 1 test.
verification key drep: OK (3.44s)
✓ Test.Cli.VerificationKey.hprop_verification_key_drep passed 1 test.
verification key committee hot: OK (3.03s)
✓ Test.Cli.VerificationKey.hprop_verification_key_committee_hot passed 1 test.
verification key committee cold: OK (2.80s)
✓ Test.Cli.VerificationKey.hprop_verification_key_committee_cold passed 1 test.
1 out of 71 tests failed (34.66s)
Loading