Conformance test failure on CI - Githubissues

IntersectMBO / cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.

Apache License 2.0

262 stars 156 forks source link

Conformance test failure on CI #4685

Closed lehins closed 1 month ago

lehins commented 1 month ago

Failure comes from this run: https://github.com/IntersectMBO/cardano-ledger/actions/runs/11333975035/job/31521695424?pr=4684 Here is some of the output necessary to reproduce the failure.

4-10-14T21:11:33.7993470Z        [0;93m[[0m[0;94mTest.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base[0m[0;93m:[0m[0;95m199[0m[0;93m][0m
2024-10-14T21:11:33.7994018Z         └[0;93m[[0m[0;94mTest.Cardano.Ledger.Conformance.ExecSpecRule.Core[0m[0;93m:[0m[0;95m429[0m[0;93m][0m
2024-10-14T21:11:33.7994469Z           └[0;93m[[0m[0;94mTest.Cardano.Ledger.Conformance.Spec.Conway[0m[0;93m:[0m[0;95m35[0m[0;93m][0m
2024-10-14T21:11:33.7994614Z          Impl:
2024-10-14T21:11:33.7994703Z          Consumed:     
2024-10-14T21:11:33.7994814Z            Inputs:         Coin 1785759
2024-10-14T21:11:33.7994911Z            Withdrawals     Coin 0
2024-10-14T21:11:33.7995012Z            Total:          Coin 1785759
2024-10-14T21:11:33.7995092Z        
2024-10-14T21:11:33.7995181Z          Produced:     
2024-10-14T21:11:33.7995282Z            Outputs:    Coin 101
2024-10-14T21:11:33.7995377Z            Donations:  Coin 0
2024-10-14T21:11:33.7995474Z            Deposits:   Coin 5
2024-10-14T21:11:33.7995570Z            Fees:       Coin 1785653
2024-10-14T21:11:33.7995722Z            Total:      Coin 1785759
2024-10-14T21:11:33.7995807Z        
2024-10-14T21:11:33.7995887Z        
2024-10-14T21:11:33.7995974Z          Spec:
2024-10-14T21:11:33.7996056Z          Consumed:
2024-10-14T21:11:33.7996151Z            Inputs:         1785759
2024-10-14T21:11:33.7996244Z            Mint:           0
2024-10-14T21:11:33.7996338Z            Refunds:        0
2024-10-14T21:11:33.7996434Z            Withdrawals:    0
2024-10-14T21:11:33.7996525Z            Total:          1785759
2024-10-14T21:11:33.7996609Z          Produced:
2024-10-14T21:11:33.7996708Z            Outputs:        101
2024-10-14T21:11:33.7996915Z            Donations:      0
2024-10-14T21:11:33.7997011Z            Deposits:       5
2024-10-14T21:11:33.7997100Z            Fees:           1785653
2024-10-14T21:11:33.7997189Z            Total:          1785759
2024-10-14T21:11:33.7997684Z        [0;93m[[0m[0;94mTest.Cardano.Ledger.Conformance.ExecSpecRule.Core[0m[0;93m:[0m[0;95m285[0m[0;93m][0m
2024-10-14T21:11:33.7998208Z         └[0;93m[[0m[0;94mTest.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base[0m[0;93m:[0m[0;95m205[0m[0;93m][0m
2024-10-14T21:11:33.7998697Z           └[0;93m[[0m[0;94mTest.Cardano.Ledger.Conformance.ExecSpecRule.Core[0m[0;93m:[0m[0;95m429[0m[0;93m][0m
2024-10-14T21:11:33.7999137Z             └[0;93m[[0m[0;94mTest.Cardano.Ledger.Conformance.Spec.Conway[0m[0;93m:[0m[0;95m35[0m[0;93m][0m
2024-10-14T21:11:33.7999577Z          Run the test again with CONFORMANCE_CBOR_DUMP_PATH=<path> to get a CBOR dump of the test data
2024-10-14T21:11:33.7999656Z        
2024-10-14T21:11:33.7999797Z        [0;91m[0;93m===== DIFF =====
2024-10-14T21:11:33.7999877Z        Left
2024-10-14T21:11:33.7999965Z          (NE.fromList
2024-10-14T21:11:33.8000050Z            [
2024-10-14T21:11:33.8000354Z              [0;91m(Impl: `App "MaxTxSizeUTxO" [App "3065" [],App "3000" []]`)[0;93m,
2024-10-14T21:11:33.8001371Z              [0;91m(Impl: `App "BabbageNonDisjointRefInputs" [App "NE.fromList" [Lst [App "TxIn" [App "TxId" [App "SafeHash" [App "\\"a31ecfff49c768f4036cc95cd2d99bae45852ba12c9f7bcd62dc4494decb82cf\\"" []]],App "TxIx" [App "98" []]]]]]`)[0;93m,
2024-10-14T21:11:33.8003392Z              [0;95m(Agda: `¬\xa;(.Axiom.Set.Theoryᵈ.th List-Modelᵈ Axiom.Set.Theory.Intersection.∩\xa; .Axiom.Set.Theoryᵈ.∈-sp List-Modelᵈ)\xa;(.TransactionStructure.TxBody.txins\xa; (.TransactionStructure.Tx.body tx))\xa;(.TransactionStructure.TxBody.refInputs\xa; (.TransactionStructure.Tx.body tx))\xa;≡\xa;.HasEmptySet.∅\xa;(Interface.HasEmptySet.Instances.HasEmptySet-Set\xa; (.Axiom.Set.Theoryᵈ.th List-Modelᵈ))`)[0;93m])
2024-10-14T21:11:33.8003560Z        
2024-10-14T21:11:33.8003641Z        Legend:
2024-10-14T21:11:33.8003791Z          [0;91m-Implementation[0;93m
2024-10-14T21:11:33.8003952Z          [0;95m+Specification[0;93m[0m[0m
2024-10-14T21:11:33.8003960Z 
2024-10-14T21:11:33.8004352Z   To rerun use: --match "/Conway/Conformance/Blocks transition graph/UTXO/" --seed 203954034
2024-10-14T21:11:33.8004362Z 
2024-10-14T21:11:33.8004469Z Randomized with seed 203954034
2024-10-14T21:11:33.8004474Z 
2024-10-14T21:11:33.8004642Z Finished in 905.8218 seconds
2024-10-14T21:11:33.8004814Z [31m31 examples, 1 failure, 6 pending[0m