Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Expose ValidationPolicy interface #1390

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Adapt tests to use `ValidationPolicy` and `ComputeLedgerEvents`

245dce7
Select commit
Loading
Failed to load commit list.
Open

Expose ValidationPolicy interface #1390

Adapt tests to use `ValidationPolicy` and `ComputeLedgerEvents`
245dce7
Select commit
Loading
Failed to load commit list.
IOG Hydra / ci/hydra-build:x86_64-darwin.native.haskell96.checks.ouroboros-consensus-cardano.shelley-test failed Feb 19, 2025 in 2m 28s

Build failed

1 failed steps

Details

Failed Steps

Step 1

Derivation

/nix/store/cf2mmjfr0wsd6b08m7agcw0lvigp8ap4-ouroboros-consensus-cardano-test-shelley-test-0.21.0.0-check.drv

Log

Running phase: unpackPhase
unpacking source archive /nix/store/2fgf0arfkgpw6d83zaxbda519abi7jr6-source-root-ouroboros-consensus-cardano-test-shelley-test-root
source root is source-root-ouroboros-consensus-cardano-test-shelley-test-root
Running phase: patchPhase
Running phase: buildPhase
/nix/store/d13x50m3jx9sng59sldnyvjf109vk5bk-ouroboros-consensus-cardano-test-shelley-test-0.21.0.0/bin:
patching script interpreter paths in /private/tmp/nix-build-ouroboros-consensus-cardano-test-shelley-test-0.21.0.0-check.drv-0/tmp.R5V96I9u8q/bin
shelley
  Shelley coherences
    Measure.<= uses pointWiseExUnits (<=):      OK
      +++ OK, passed 100 tests.
  Golden tests
    SerialiseDisk
      Block:                                    OK
      HeaderHash:                               OK
      LedgerState:                              OK
      AnnTip:                                   OK
      ChainDepState:                            OK
      ExtLedgerState:                           OK
    SerialiseNodeToNode
      ShelleyNodeToNodeVersion1
        Block:                                  OK
        Header:                                 OK
        SerialisedBlock:                        OK
        SerialisedHeader:                       OK
        GenTx:                                  OK
        GenTxId:                                OK
    SerialiseNodeToClient
      QueryVersion2/ShelleyNodeToClientVersion8
        Block:                                  OK
        SerialisedBlock:                        OK
        GenTx:                                  OK
        GenTxId:                                OK
        ApplyTxErr:                             OK
        Query
          Query_GetLedgerTip:                   OK
          Query_GetEpochNo:                     OK
          Query_GetCurrentPParams:              OK
          Query_GetProposedPParamsUpdates:      OK
          Query_GetStakeDistribution:           OK
          Query_GetNonMyopicMemberRewards:      OK
          Query_GetGenesisConfig:               OK
          Query_GetBigLedgerPeerSnapshot:       OK
        SlotNo:                                 OK
        Result
          Result_LedgerTip:                     OK
          Result_EpochNo:                       OK
          Result_EmptyPParams:                  OK
          Result_ProposedPParamsUpdates:        OK
          Result_StakeDistribution:             OK
          Result_NonMyopicMemberRewards:        OK
          Result_GenesisConfig:                 OK
          Result_GetBigLedgerPeerSnapshot:      OK
      QueryVersion2/ShelleyNodeToClientVersion9
        Block:                                  OK
        SerialisedBlock:                        OK
        GenTx:                                  OK
        GenTxId:                                OK
        ApplyTxErr:                             OK
        Query
          Query_GetLedgerTip:                   OK
          Query_GetEpochNo:                     OK
          Query_GetCurrentPParams:              OK
          Query_GetProposedPParamsUpdates:      OK
          Query_GetStakeDistribution:           OK
          Query_GetNonMyopicMemberRewards:      OK
          Query_GetGenesisConfig:               OK
          Query_GetBigLedgerPeerSnapshot:       OK
        SlotNo:                                 OK
        Result
          Result_LedgerTip:                     OK
          Result_EpochNo:                       OK
          Result_EmptyPParams:                  OK
          Result_ProposedPParamsUpdates:        OK
          Result_StakeDistribution:             OK
          Result_NonMyopicMemberRewards:        OK
          Result_GenesisConfig:                 OK
          Result_GetBigLedgerPeerSnapshot:      OK
      QueryVersion2/ShelleyNodeToClientVersion10
        Block:                                  OK
        SerialisedBlock:                        OK
        GenTx:                                  OK
        GenTxId:                                OK
        ApplyTxErr:                             OK
        Query
          Query_GetLedgerTip:                   OK
          Query_GetEpochNo:                     OK
          Query_GetCurrentPParams:              OK
          Query_GetProposedPParamsUpdates:      OK
          Query_GetStakeDistribution:           OK
          Query_GetNonMyopicMemberRewards:      OK
          Query_GetGenesisConfig:               OK
          Query_GetBigLedgerPeerSnapshot:       OK
        SlotNo:                                 OK
        Result
          Result_LedgerTip:                     OK
          Result_EpochNo:                       OK
          Result_EmptyPParams:                  OK
          Result_ProposedPParamsUpdates:        OK
          Result_StakeDistribution:             OK
          Result_NonMyopicMemberRewards:        OK
          Result_GenesisConfig:                 OK
          Result_GetBigLedgerPeerSnapshot:      OK
      QueryVersion2/ShelleyNodeToClientVersion11
        Block:                                  OK
        SerialisedBlock:                        OK
        GenTx:                                  OK
        GenTxId:                                OK
        ApplyTxErr:                             OK
        Query
          Query_GetLedgerTip:                   OK
          Query_GetEpochNo:                     OK
          Query_GetCurrentPParams:              OK
          Query_GetProposedPParamsUpdates:      OK
          Query_GetStakeDistribution:           OK
          Query_GetNonMyopicMemberRewards:      OK
          Query_GetGenesisConfig:               OK
          Query_GetBigLedgerPeerSnapshot:       OK
        SlotNo:                                 OK
        Result
          Result_LedgerTip:                     OK
          Result_EpochNo:                       OK
          Result_EmptyPParams:                  OK
          Result_ProposedPParamsUpdates:        OK
          Result_StakeDistribution:             OK
          Result_NonMyopicMemberRewards:        OK
          Result_GenesisConfig:                 OK
          Result_GetBigLedgerPeerSnapshot:      OK
  Shelley
    Roundtrip
      SerialiseDisk
        roundtrip block:                        OK (11.61s)
          +++ OK, passed 100 tests.
        roundtrip Header:                       OK (7.34s)
          +++ OK, passed 100 tests.
        roundtrip LedgerState:                  OK (0.47s)
          +++ OK, passed 10 tests.
        roundtrip AnnTip:                       OK
          +++ OK, passed 100 tests.
        roundtrip ChainDepState:                OK
          +++ OK, passed 100 tests.
      SerialiseNodeToNode
        roundtrip blk:                          OK (7.70s)
          +++ OK, passed 100 tests.
        roundtrip Header:                       OK (5.88s)
          +++ OK, passed 100 tests.
        roundtrip GenTx:                        OK (0.24s)
          +++ OK, passed 100 tests.
        roundtrip GenTxId:                      OK
          +++ OK, passed 100 tests.
        roundtrip Serialised blk:               OK (9.25s)
          +++ OK, passed 100 tests.
        roundtrip Serialised Header:            OK (6.22s)
          +++ OK, passed 100 tests.
        roundtrip Serialised blk compat 1:      OK (8.80s)
          +++ OK, passed 100 tests.
        roundtrip Serialised blk compat 2:      OK (7.54s)
          +++ OK, passed 100 tests.
        roundtrip Serialised Header compat 1:   OK (5.99s)
          +++ OK, passed 100 tests.
        roundtrip Serialised Header compat 2:   OK (5.42s)
          +++ OK, passed 100 tests.
      SerialiseNodeToClient
        roundtrip blk:                          OK (8.62s)
          +++ OK, passed 100 tests.
        roundtrip GenTx:                        OK (0.22s)
          +++ OK, passed 100 tests.
        roundtrip ApplyTxErr:                   OK (0.15s)
          +++ OK, passed 100 tests.
        roundtrip BlockQuery:                   OK
          +++ OK, passed 100 tests.
        roundtrip Query:                        OK
          +++ OK, passed 100 tests.
        roundtrip Serialised blk:               OK (9.27s)
          +++ OK, passed 100 tests.
        roundtrip Serialised blk compat:        OK (8.01s)
          +++ OK, passed 100 tests.
        roundtrip Result:                       OK (0.87s)
          +++ OK, passed 100 tests.
      envelopes:                                OK
        +++ OK, passed 100 tests.
      ConvertRawHash:                           OK
        +++ OK, passed 100 tests.
      hashSize:                                 OK
        +++ OK, passed 100 tests.
      estimateBlockSize:                        OK (7.30s)
        +++ OK, passed 100 tests:
        63% exact
        37% overestimate
    hashSize real crypto:                       OK
      +++ OK, passed 100 tests.
    ConvertRawHash real crypto:                 OK
      +++ OK, passed 100 tests.
    BinaryBlockInfo sanity check:               OK (5.80s)
      +++ OK, passed 100 tests.
    Integrity
      generate non-corrupt blocks:              OK (6.99s)
        +++ OK, passed 100 tests.
      generate non-corrupt headers:             OK (5.76s)
        +++ OK, passed 100 tests.
      detect corruption in blocks:              OK (8.07s)
        +++ OK, passed 100 tests:
        77% corruption detected
        23% corruption detected by decoder
      detect corruption in headers:             OK (5.25s)
        +++ OK, passed 100 tests:
        77% corruption detected
        23% corruption detected by decoder
  Shelley exhaustive network protocol versions: OK
  Shelley ThreadNet
    simple convergence:                         FAIL
      *** Failed! (after 1 test):
      Exception:
        FailureEvaluation Prelude.undefined
        CallStack (from HasCallStack):
          undefined, called at src/shelley/Ouroboros/Consensus/Shelley/Ledger/Ledger.hs:323:21 in ouroboros-consensus-cardano-0.21.0.0-DmVHdTeQP88Dv0cqdXaCzu:Ouroboros.Consensus.Shelley.Ledger.Ledger
      TestSetup {setupD = DecentralizationParam (3 % 5), setupD2 = DecentralizationParam (7 % 10), setupInitialNonce = Nonce "12dd0a6a7d0e222a97926da03adb5a7768d31cc7c5c2bd6828e14a7d25fa3a60", setupK = SecurityParam 8, setupTestConfig = TestConfig {initSeed = Seed (-9208106225298304546), nodeTopology = NodeTopology (fromList [(CoreNodeId 0,fromList []),(CoreNodeId 1,fromList [CoreNodeId 0]),(CoreNodeId 2,fromList [CoreNodeId 0])]), numCoreNodes = NumCoreNodes 3, numSlots = NumSlots 35}, setupVersion = (NodeToNodeV_14,ShelleyNodeToNodeVersion1)}
      Epoch number of last slot: 0
      Updating d: No
      SecurityParam 8
      Exception thrown while showing test case:
        FailureEvaluation Prelude.undefined
        CallStack (from HasCallStack):
          undefined, called at src/shelley/Ouroboros/Consensus/Shelley/Ledger/Ledger.hs:323:21 in ouroboros-consensus-cardano-0.21.0.0-DmVHdTeQP88Dv0cqdXaCzu:Ouroboros.Consensus.Shelley.Ledger.Ledger
      
      nodeJoinPlan: [(c0,0),(c1,0),(c2,0)]
      nodeRestarts: []
      nodeTopology: [(c0,[]),(c1,[c0]),(c2,[c0])]
      Exception thrown while showing test case:
        FailureEvaluation Prelude.undefined
        CallStack (from HasCallStack):
          undefined, called at src/shelley/Ouroboros/Consensus/Shelley/Ledger/Ledger.hs:323:21 in ouroboros-consensus-cardano-0.21.0.0-DmVHdTeQP88Dv0cqdXaCzu:Ouroboros.Consensus.Shelley.Ledger.Ledger
      
      mbSchedule: Nothing
      Exception thrown while showing test case:
        FailureEvaluation Prelude.undefined
        CallStack (from HasCallStack):
          undefined, called at src/shelley/Ouroboros/Consensus/Shelley/Ledger/Ledger.hs:323:21 in ouroboros-consensus-cardano-0.21.0.0-DmVHdTeQP88Dv0cqdXaCzu:Ouroboros.Consensus.Shelley.Ledger.Ledger
      
      Exception thrown while showing test case:
        FailureEvaluation Prelude.undefined
        CallStack (from HasCallStack):
          undefined, called at src/shelley/Ouroboros/Consensus/Shelley/Ledger/Ledger.hs:323:21 in ouroboros-consensus-cardano-0.21.0.0-DmVHdTeQP88Dv0cqdXaCzu:Ouroboros.Consensus.Shelley.Ledger.Ledger
      
      Exception thrown while showing test case:
        FailureEvaluation Prelude.undefined
        CallStack (from HasCallStack):
          undefined, called at src/shelley/Ouroboros/Consensus/Shelley/Ledger/Ledger.hs:323:21 in ouroboros-consensus-cardano-0.21.0.0-DmVHdTeQP88Dv0cqdXaCzu:Ouroboros.Consensus.Shelley.Ledger.Ledger
      
      Exception thrown while showing test case:
        FailureEvaluation Prelude.undefined
        CallStack (from HasCallStack):
          undefined, called at src/shelley/Ouroboros/Consensus/Shelley/Ledger/Ledger.hs:323:21 in ouroboros-consensus-cardano-0.21.0.0-DmVHdTeQP88Dv0cqdXaCzu:Ouroboros.Consensus.Shelley.Ledger.Ledger
      
      Use --quickcheck-replay="(SMGen 175324775337320009 13656897081634953419,0)" to reproduce.
      Use -p '/simple convergence/' to rerun this test only.

1 out of 137 tests failed (142.82s)
View more details on IOG Hydra