Add governance related state queries #4514
Merged
IOG Hydra / ci/hydra-build:x86_64-darwin.checks.cardano-ledger-shelley-ma-test:test:cardano-ledger-shelley-ma-test
failed
Jul 31, 2024 in 12m 44s
Build failed
1 failed steps
Details
Failed Steps
Step 1
Derivation
/nix/store/wn0i2jjj51c60am5h5lkp8z2qbcc8rd2-cardano-ledger-shelley-ma-test-test-cardano-ledger-shelley-ma-test-1.2.2.2-check.drv
Log
Running phase: unpackPhase
unpacking source archive /nix/store/qfkn5wcn5dzjh818xhqhgiacgc770rwd-source-root-eras-shelley-ma-test-suite-test-cardano-ledger-shelley-ma-test-root
source root is source-root-eras-shelley-ma-test-suite-test-cardano-ledger-shelley-ma-test-root
Running phase: patchPhase
Running phase: buildPhase
/nix/store/760c5wp4q6w812s1d15rhf0vvz6wf94p-cardano-ledger-shelley-ma-test-test-cardano-ledger-shelley-ma-test-1.2.2.2/bin:
patching script interpreter paths in /private/tmp/nix-build-cardano-ledger-shelley-ma-test-test-cardano-ledger-shelley-ma-test-1.2.2.2-check.drv-0/tmp.MbQgQTcISj/bin
ShelleyMA Ledger Tests
Allegra Ledger Tests
Allegra translation binary compatibiliby tests
Tx compatibility: OK (0.28s)
+++ OK, passed 100 tests.
ProposedPPUpdates compatibility: OK
+++ OK, passed 100 tests.
ShelleyGovState compatibility: OK
+++ OK, passed 100 tests.
TxOut compatibility: OK
+++ OK, passed 100 tests.
UTxO compatibility: OK (0.08s)
+++ OK, passed 100 tests.
UTxOState compatibility: OK (0.10s)
+++ OK, passed 100 tests.
LedgerState compatibility: OK (1.42s)
+++ OK, passed 100 tests.
EpochState compatibility: OK (3.13s)
+++ OK, passed 100 tests.
ShelleyTxWits compatibility: OK (0.24s)
+++ OK, passed 100 tests.
Update compatibility: OK
+++ OK, passed 100 tests.
Chain and Ledger traces cover the relevant cases:
Discarded trace: No inputs left. Utxo.hs
FAIL (114.67s)
*** Gave up! Passed only 99 tests; 2 discarded tests:
99% at least 1 in 10 transactions have a reward withdrawal
99% at least 10% of `ShelleyTxCertDeleg` certificates have script credentials
99% at least 10% of transactions have script TxOuts
99% there is at least 1 DeRegKey certificate for every 20 transactions
99% there is at least 1 Delegation certificate for every 10 transactions
99% there is at least 1 RegKey certificate for every 10 transactions
99% there is at least 1 RegPool certificate for every 10 transactions
99% there is at least 1 certificate for every 2 transactions
98% at least 1 in 20 transactions have metadata
98% there is at least 1 Genesis Delegation certificate for every 20 transactions
97% at least 1 in 20 transactions have non-trivial protocol param updates
97% there is at least 1 RetirePool certificate for every 10 transactions
87% there is at least 1 MIR certificate (spending Treasury) for every 60 transactions
75% there is at least 1 MIR certificate (spending Reserves) for every 60 transactions
55% at least 5 epochs in a trace, 20% of the time
Use --quickcheck-replay="(SMGen 4788478073064110679 6861718344714215985,0)" to reproduce.
Use -p '/Chain and Ledger traces cover the relevant cases/' to rerun this test only.
total amount of Ada is preserved (Chain):
Discarded trace: Negative spending balance
OK (513.80s)
+++ OK, passed 100 tests; 1 discarded.
Only valid CHAIN STS signals are generated: OK (117.66s)
+++ OK, passed 100 tests.
WitVKey does not brake containers due to invalid Ord: OK
+++ OK, passed 100 tests.
we should still be able to spend a translated script: OK
Mary Ledger Tests
Mary translation binary compatibiliby tests
Tx compatibility: OK (0.19s)
+++ OK, passed 100 tests.
ProposedPPUpdates compatibility: OK
+++ OK, passed 100 tests.
ShelleyGovState compatibility: OK
+++ OK, passed 100 tests.
TxOut compatibility: OK
+++ OK, passed 100 tests.
UTxO compatibility: OK (0.09s)
+++ OK, passed 100 tests.
UTxOState compatibility: OK (0.10s)
+++ OK, passed 100 tests.
LedgerState compatibility: OK (1.27s)
+++ OK, passed 100 tests.
EpochState compatibility: OK (2.67s)
+++ OK, passed 100 tests.
ShelleyTxWits compatibility: OK (0.37s)
+++ OK, passed 100 tests.
Update compatibility: OK
+++ OK, passed 100 tests.
allValTests
insert == insert2 == insert3
insert=insert2: OK
+++ OK, passed 100 tests.
insert=insert3: OK
+++ OK, passed 100 tests.
insert2=insert3: OK
+++ OK, passed 100 tests.
albelian test
albelian Coin
<+> is <>: OK
+++ OK, passed 100 tests.
zero is mempty: OK
+++ OK, passed 100 tests.
isZero zero: OK
+++ OK, passed 100 tests.
isZero mempty: OK
+++ OK, passed 100 tests.
isZero is (== mempty): OK
+++ OK, passed 100 tests.
albelian Value
<+> is <>: OK (0.06s)
+++ OK, passed 100 tests.
zero is mempty: OK
+++ OK, passed 100 tests.
isZero zero: OK
+++ OK, passed 100 tests.
isZero mempty: OK
+++ OK, passed 100 tests.
isZero is (== mempty): OK (0.03s)
+++ OK, passed 100 tests.
polyCoinTests
defMinus: OK
+++ OK, passed 100 tests.
defInvert: OK
+++ OK, passed 100 tests.
commute: OK
+++ OK, passed 100 tests.
assoc: OK
+++ OK, passed 100 tests.
addIdent: OK
+++ OK, passed 100 tests.
zero-zero: OK
+++ OK, passed 100 tests.
cancel: OK
+++ OK, passed 100 tests.
distr1: OK
+++ OK, passed 100 tests.
dist2: OK
+++ OK, passed 100 tests.
distr3: OK
+++ OK, passed 100 tests.
scaleIdenity: OK
+++ OK, passed 100 tests.
minusCancel: OK
+++ OK, passed 100 tests.
plusMinusAssoc: OK
+++ OK, passed 100 tests.
plusInvertCancel: OK
+++ OK, passed 100 tests.
minusZero: OK
+++ OK, passed 100 tests.
zeroMinus: OK
+++ OK, passed 100 tests.
invertScale: OK
+++ OK, passed 100 tests.
scaleZero: OK
+++ OK, passed 100 tests.
zeroScale: OK
+++ OK, passed 100 tests.
scaleInject: OK
+++ OK, passed 100 tests.
scaleOne: OK
+++ OK, passed 100 tests.
scalePlus: OK
+++ OK, passed 100 tests.
scaleScale: OK
+++ OK, passed 100 tests.
scaleCoin: OK
+++ OK, passed 100 tests.
unfoldScale: OK
+++ OK, passed 100 tests.
coinZero: OK
+++ OK, passed 100 tests.
coinPlus: OK
+++ OK, passed 100 tests.
coinScale: OK
+++ OK, passed 100 tests.
coinInject: OK
+++ OK, passed 100 tests.
pointwise zero: OK
+++ OK, passed 100 tests.
polyValueTests
defMinus: OK (0.05s)
+++ OK, passed 100 tests.
defInvert: OK (0.03s)
+++ OK, passed 100 tests.
commute: OK (0.05s)
+++ OK, passed 100 tests.
assoc: OK (0.06s)
+++ OK, passed 100 tests.
addIdent: OK (0.02s)
+++ OK, passed 100 tests.
zero-zero: OK
+++ OK, passed 100 tests.
cancel: OK (0.02s)
+++ OK, passed 100 tests.
distr1: OK (0.05s)
+++ OK, passed 100 tests.
dist2: OK (0.03s)
+++ OK, passed 100 tests.
distr3: OK
+++ OK, passed 100 tests.
scaleIdenity: OK (0.03s)
+++ OK, passed 100 tests.
minusCancel: OK (0.02s)
+++ OK, passed 100 tests.
plusMinusAssoc: OK (0.05s)
+++ OK, passed 100 tests.
plusInvertCancel: OK (0.03s)
+++ OK, passed 100 tests.
minusZero: OK (0.02s)
+++ OK, passed 100 tests.
zeroMinus: OK (0.03s)
+++ OK, passed 100 tests.
invertScale: OK (0.02s)
+++ OK, passed 100 tests.
scaleZero: OK (0.02s)
+++ OK, passed 100 tests.
zeroScale: OK
+++ OK, passed 100 tests.
scaleInject: OK
+++ OK, passed 100 tests.
scaleOne: OK (0.03s)
+++ OK, passed 100 tests.
scalePlus: OK (0.05s)
+++ OK, passed 100 tests.
scaleScale: OK (0.03s)
+++ OK, passed 100 tests.
scaleCoin: OK (0.02s)
+++ OK, passed 100 tests.
unfoldScale: OK (0.03s)
+++ OK, passed 100 tests.
coinZero: OK
+++ OK, passed 100 tests.
coinPlus: OK (0.04s)
+++ OK, passed 100 tests.
coinScale: OK (0.02s)
+++ OK, passed 100 tests.
coinInject: OK
+++ OK, passed 100 tests.
pointwise zero: OK
+++ OK, passed 100 tests.
Value specific tests
coinModify: OK (0.02s)
+++ OK, passed 100 tests.
Nozeros: OK
+++ OK, passed 100 tests.
insert==insert2A: OK
+++ OK, passed 100 tests.
insert==insert2B: OK (0.02s)
+++ OK, passed 100 tests.
insert==insert3A: OK (0.02s)
+++ OK, passed 100 tests.
insert==insert3B: OK (0.02s)
+++ OK, passed 100 tests.
comb doesn't matter on zero: OK
+++ OK, passed 100 tests.
retains-old: OK
+++ OK, passed 100 tests.
new-overrides: OK
+++ OK, passed 100 tests.
oldVsNew: OK
+++ OK, passed 100 tests.
newVsOld: OK
+++ OK, passed 100 tests.
lookup-insert-overwrite: OK (0.02s)
+++ OK, passed 100 tests.
lookup-insert-retain: OK (0.02s)
+++ OK, passed 100 tests.
coinIgnores1: OK (0.02s)
+++ OK, passed 100 tests.
coinIgnores2: OK (0.02s)
+++ OK, passed 100 tests.
coinIgnores3: OK (0.02s)
+++ OK, passed 100 tests.
value is a group
lookup over <+>: OK (0.04s)
+++ OK, passed 100 tests.
lookup over <->: OK (0.04s)
+++ OK, passed 100 tests.
lookup over <×>: OK (0.02s)
+++ OK, passed 100 tests.
lookup over zero: OK
+++ OK, passed 100 tests.
lookup over invert: OK (0.03s)
+++ OK, passed 100 tests.
fromCompact . toCompact == id: OK
+++ OK, passed 100 tests.
multi-asset subtraction is total: OK (0.43s)
+++ OK, passed 100000 tests.
node4826Reproducible: OK
+++ OK, passed 1 test.
multi-assets
simple
minting: OK
transfer: OK
bounded time interval
minting, valid: OK
minting, invalid LHS too small: OK
minting, invalid LHS unspecified: OK
minting, invalid RHS too big: OK
minting, invalid RHS unspecified: OK
transfer, after minting period: OK
single key
minting, valid: OK
minting, invalid no mint signature: OK
negative minting
remove assets: OK
no negative outputs: OK
value too big: OK
golden tests - scaledMinDeposit
one policy, one (smallest) name: OK
one policy, one (small) name: OK
one policy, one (real) name: OK
one policy, three (small) name: OK
one policy, one (largest) name: OK
one policy, three (largest) name: OK
two policies, one (smallest) name: OK
two policies, two (small) names: OK
three policies, ninety-six (small) names: OK
Mixed MA Ledger Tests
Serialisation tests
encoded shelley types can be decoded as allegra types
decoding auxiliary data: OK (0.02s)
+++ OK, passed 100 tests.
encoded allegra types can be decoded as mary types
decoding metadata: OK
+++ OK, passed 100 tests.
TxBody
Tests for lenses
inputs: OK
outputs: OK
certs: OK
withdrawals: OK
txfree: OK
vldt: OK
update: OK
adHash: OK
mint: OK
length: OK
Timelock tests
Timelock examples roundtrip - Allegra: OK
Timelock examples roundtrip - Allegra: OK
Timelock examples roundtrip - Allegra: OK
Timelock examples roundtrip - Mary: OK
Timelock examples roundtrip - Mary: OK
Timelock examples roundtrip - Mary: OK
roundtripTimelock prop - Allegra: OK
+++ OK, passed 100 tests.
roundtripTimelock prop - Mary: OK
+++ OK, passed 100 tests.
MultiSig deserialises as Timelock: OK
+++ OK, passed 100 tests.
Golden Encoding Tests
Allegra
golden_serialize_value: OK
golden_serialize_timelock_script: OK
golden_serialize_metadata_no_scripts: OK
golden_serialize_metadata_with_scripts: OK
golden_serialize_minimal_txbody: OK
golden_serialize_full_txn_body: OK
Mary
golden_serialize_ada_only_value: OK
golden_serialize_not_just_ada_value: OK
golden_serialize_multiasset_with_negative: OK
golden_serialize_value_with_negative: OK
golden_serialize_timelock_script: OK
golden_serialize_metadata_no_scripts: OK
golden_serialize_metadata_with_scripts: OK
golden_serialize_minimal_txbody: OK
golden_serialize_full_txn_body: OK
33 bytes asset name too big: OK
All Era Roundtrip Tests
ShelleyEra StandardCrypto
ApplyTxError: OK (1.30s)
+++ OK, passed 100 tests.
AllegraEra StandardCrypto
ApplyTxError: OK (1.42s)
+++ OK, passed 100 tests.
MaryEra StandardCrypto
ApplyTxError: OK (2.35s)
+++ OK, passed 100 tests.
1 out of 184 tests failed (762.98s)
Loading