/nix/store/7pn67bxhsafql5x4p317dg985l1df1qw-cardano-ledger-dijkstra-test-tests-0.2.0.0-check.drv

Running phase: unpackPhase
unpacking source archive /nix/store/vprmyrqd60a6q3l2qjr0s6mlcr1yqh96-source-eras-dijkstra-impl-test-tests-root
source root is source-eras-dijkstra-impl-test-tests-root
Running phase: patchPhase
Running phase: buildPhase
/nix/store/bf1il7mmyikpyb0xaarg99wj2sxzvzxj-cardano-ledger-dijkstra-test-tests-0.2.0.0/bin:
patching script interpreter paths in /build/tmp.MTCL8Sy7eW/bin

Dijkstra
  RoundTrip
    Dijkstra Transaction Types
      GovAction DijkstraEra [✔] (850ms)
        +++ OK, passed 100 tests.
      VotingProcedure DijkstraEra [✔] (1ms)
        +++ OK, passed 100 tests.
      VotingProcedures DijkstraEra [✔] (1056ms)
        +++ OK, passed 100 tests.
      ProposalProcedure DijkstraEra [✔] (1857ms)
        +++ OK, passed 100 tests.
      Constitution DijkstraEra [✔] (1ms)
        +++ OK, passed 100 tests.
      CostModels [✔] (19384ms)
        +++ OK, passed 100 tests.
    Dijkstra State Types
      EnactState DijkstraEra [✔] (40769ms)
        +++ OK, passed 100 tests.
      GovActionState DijkstraEra [✔] (1813ms)
        +++ OK, passed 100 tests.
      Proposals DijkstraEra [✔] (34059ms)
        +++ OK, passed 100 tests.
      DRepPulsingState DijkstraEra [✔] (136672ms)
        +++ OK, passed 100 tests.
      PulsingSnapshot DijkstraEra [✔] (53593ms)
        +++ OK, passed 100 tests.
      RatifyState DijkstraEra [✔] (90340ms)
        +++ OK, passed 100 tests.
      VState DijkstraEra [✔] (220ms)
        +++ OK, passed 100 tests.
    Alonzo era types
      Data DijkstraEra [✔] (2ms)
        +++ OK, passed 100 tests.
      Data DijkstraEra [✔] (1ms)
        +++ OK, passed 100 tests.
      BinaryData DijkstraEra [✔]
        +++ OK, passed 100 tests.
      CostModels [✔] (22525ms)
        +++ OK, passed 100 tests.
      Datum doesn't roundtrip
        Datum DijkstraEra [‐]
          # PENDING: No reason given
      TxDats [✔] (25ms)
        +++ OK, passed 100 tests.
      Redeemers [✔] (33ms)
        +++ OK, passed 100 tests.
    Core Type Families
      MaryValue [✔] (71ms)
        +++ OK, passed 100 tests.
      CompactForm MaryValue [✔] (290ms)
        +++ OK, passed 100 tests.
      BabbageTxOut DijkstraEra [✔] (21ms)
        +++ OK, passed 100 tests.
      DijkstraTxCert DijkstraEra [✔] (5ms)
        +++ OK, passed 100 tests.
      PParams DijkstraEra [✔] (15425ms)
        +++ OK, passed 100 tests.
      PParamsUpdate DijkstraEra [✔] (13266ms)
        +++ OK, passed 100 tests.
      AlonzoScript DijkstraEra [✔] (2ms)
        +++ OK, passed 100 tests.
      AlonzoScript DijkstraEra [✔] (2ms)
        +++ OK, passed 100 tests.
      AlonzoTxAuxData DijkstraEra [✔] (66ms)
        +++ OK, passed 100 tests.
      AlonzoTxAuxData DijkstraEra [✔] (51ms)
        +++ OK, passed 100 tests.
      AlonzoTxWits DijkstraEra [✔] (427ms)
        +++ OK, passed 100 tests.
      AlonzoTxWits DijkstraEra [✔] (459ms)
        +++ OK, passed 100 tests.
      TxBody TopTx DijkstraEra [✔] (75909ms)
        +++ OK, passed 100 tests.
      TxBody TopTx DijkstraEra [✔] (104125ms)
        +++ OK, passed 100 tests.
      Tx TopTx DijkstraEra [✔] (73530ms)
        +++ OK, passed 100 tests.
      Tx TopTx DijkstraEra [✔] (94968ms)
        +++ OK, passed 100 tests.
      MemPack/CBOR Roundtrip BabbageTxOut DijkstraEra [✔] (11ms)
        +++ OK, passed 100 tests.
      ConwayCertState DijkstraEra [✔] (2005ms)
        +++ OK, passed 100 tests.
    Core State Types
      SnapShots [✔] (701ms)
        +++ OK, passed 100 tests.
      DState DijkstraEra [✔] (55ms)
        +++ OK, passed 100 tests.
      PState DijkstraEra [✔] (1617ms)
        +++ OK, passed 100 tests.
      CommitteeState DijkstraEra [✔] (17ms)
        +++ OK, passed 100 tests.
      UTxO DijkstraEra [✔] (317ms)
        +++ OK, passed 100 tests.
    State Types Families
      ConwayGovState DijkstraEra [✔] (160444ms)
        +++ OK, passed 100 tests.
    State Types
      UTxOState DijkstraEra [✔] (143404ms)
        +++ OK, passed 100 tests.
      EpochState DijkstraEra [✔] (135243ms)
        +++ OK, passed 100 tests.
      NewEpochState DijkstraEra [✔] (133007ms)
        +++ OK, passed 100 tests.
    Predicate Failures
      DijkstraBbodyPredFailure DijkstraEra [✔] (5ms)
        +++ OK, passed 100 tests.
      ConwayCertPredFailure DijkstraEra [✔]
        +++ OK, passed 100 tests.
      ConwayCertsPredFailure DijkstraEra [✔] (7ms)
        +++ OK, passed 100 tests.
      ConwayDelegPredFailure DijkstraEra [✔][?7h
        +++ OK, passed 100 tests.
      DijkstraGovCertPredFailure DijkstraEra [✔]
        +++ OK, passed 100 tests.
      DijkstraGovPredFailure DijkstraEra [✔] (401ms)
        +++ OK, passed 100 tests.
      DijkstraLedgerPredFailure DijkstraEra [✔] (59ms)
        +++ OK, passed 100 tests.
      ShelleyLedgersPredFailure DijkstraEra [✔] (59ms)
        +++ OK, passed 100 tests.
      ShelleyPoolPredFailure DijkstraEra [✔]
        +++ OK, passed 100 tests.
      DijkstraUtxoPredFailure DijkstraEra [✔] (208ms)
        +++ OK, passed 100 tests.
      ConwayUtxosPredFailure DijkstraEra [✔] (10476ms)
        +++ OK, passed 100 tests.
      DijkstraUtxowPredFailure DijkstraEra [✔] (193ms)
        +++ OK, passed 100 tests.
  CDDL
    Generate bytestring from CDDL and decode/encode
      account_balance_interval: AccountBalanceInterval DijkstraEra [✔] (7ms)
    Generate bytestring from CDDL and decode/encode
      account_balance_intervals: Map AccountId (AccountBalanceInterval DijkstraEra) [✔] (4ms)
    Encode an arbitrary value and check against CDDL
      account_balance_interval: AccountBalanceInterval DijkstraEra [✔]
        +++ OK, passed 100 tests.
    Generate bytestring from CDDL and decode/encode
      positive_coin: MaryValue [✔]
    Encode an arbitrary value and check against CDDL
      value: MaryValue [✔] (31ms)
        +++ OK, passed 100 tests.
    MultiAsset
      Generate bytestring from CDDL and decode/encode
        value: MaryValue [✔] (3ms)
    fix TxBody
      transaction_body: Annotator (MemoBytes (DijkstraTxBodyRaw TopTx DijkstraEra)) [‐]
        # PENDING: No reason given
      Generate bytestring from CDDL and decode/encode
        transaction_body: MemoBytes (DijkstraTxBodyRaw TopTx DijkstraEra) [‐]
          # PENDING: No reason given
      Encode an arbitrary value and check against CDDL
        transaction_body: MemoBytes (DijkstraTxBodyRaw TopTx DijkstraEra) [‐]
          # PENDING: No reason given
      sub_transaction_body: Annotator (MemoBytes (DijkstraTxBodyRaw SubTx DijkstraEra)) [‐]
        # PENDING: No reason given
      Generate bytestring from CDDL and decode/encode
        sub_transaction_body: MemoBytes (DijkstraTxBodyRaw SubTx DijkstraEra) [‐]
          # PENDING: No reason given
      Encode an arbitrary value and check against CDDL
        sub_transaction_body: MemoBytes (DijkstraTxBodyRaw SubTx DijkstraEra) [‐]
          # PENDING: No reason given
    fix plutus scripts
      auxiliary_data: Annotator (MemoBytes (AlonzoTxAuxDataRaw DijkstraEra)) [‐]
        # PENDING: No reason given
      Encode an arbitrary value and check against CDDL
        auxiliary_data: MemoBytes (AlonzoTxAuxDataRaw DijkstraEra) [‐]
          # PENDING: No reason given
      Generate bytestring from CDDL and decode/encode
        auxiliary_data: MemoBytes (AlonzoTxAuxDataRaw DijkstraEra) [‐]
          # PENDING: No reason given
    native_script: Annotator (DijkstraNativeScript DijkstraEra) [✔] (3ms)
    Encode an arbitrary value and check against CDDL
      native_script: DijkstraNativeScript DijkstraEra [✔] (1ms)
        +++ OK, passed 100 tests.
    Generate bytestring from CDDL and decode/encode
      native_script: DijkstraNativeScript DijkstraEra [✔] (2ms)
    plutus_data: Annotator (MemoBytes (PlutusData DijkstraEra)) [✔] (6ms)
    Encode an arbitrary value and check against CDDL
      plutus_data: MemoBytes (PlutusData DijkstraEra) [✔] (2ms)
        +++ OK, passed 100 tests.
    Generate bytestring from CDDL and decode/encode
      plutus_data: MemoBytes (PlutusData DijkstraEra) [✔] (4ms)
    fix Script
      Generate bytestring from CDDL and decode/encode
        transaction_output: BabbageTxOut DijkstraEra [‐]
          # PENDING: No reason given
      Encode an arbitrary value and check against CDDL
        transaction_output: BabbageTxOut DijkstraEra [‐]
          # PENDING: No reason given
    fix Script
      script: Annotator (AlonzoScript DijkstraEra) [‐]
        # PENDING: No reason given
      Generate bytestring from CDDL and decode/encode
        script: AlonzoScript DijkstraEra [‐]
          # PENDING: No reason given
    fix plutus_v1_script
      Encode an arbitrary value and check against CDDL
        script: AlonzoScript DijkstraEra [‐]
          # PENDING: No reason given
    Generate bytestring from CDDL and decode/encode
      datum_option: Datum DijkstraEra [✔] (1ms)
    fix NoDatum
      Encode an arbitrary value and check against CDDL
        datum_option: Datum DijkstraEra [‐]
          # PENDING: No reason given
    fix duplicates in maps
      transaction_witness_set: Annotator (MemoBytes (AlonzoTxWitsRaw DijkstraEra)) [‐]
        # PENDING: No reason given
      Generate bytestring from CDDL and decode/encode
        transaction_witness_set: MemoBytes (AlonzoTxWitsRaw DijkstraEra) [‐]
          # PENDING: No reason given
    fix plutus_v1_script
      Encode an arbitrary value and check against CDDL
        transaction_witness_set: MemoBytes (AlonzoTxWitsRaw DijkstraEra) [‐]
          # PENDING: No reason given
    Generate bytestring from CDDL and decode/encode
      protocol_param_update: PParamsUpdate DijkstraEra [✔] (299ms)
    Encode an arbitrary value and check against CDDL
      protocol_param_update: PParamsUpdate DijkstraEra [✔] (2655ms)
        +++ OK, passed 100 tests.
    Generate bytestring from CDDL and decode/encode
      cost_models: CostModels [✔] (11017ms)
    Encode an arbitrary value and check against CDDL
      cost_models: CostModels [✔] (3081ms)
        +++ OK, passed 100 tests.
    redeemers: Annotator (MemoBytes (RedeemersRaw DijkstraEra)) [✔] (11ms)
    fix redeemers
      Encode an arbitrary value and check against CDDL
        redeemers: MemoBytes (RedeemersRaw DijkstraEra) [‐]
          # PENDING: No reason given
    Generate bytestring from CDDL and decode/encode
      redeemers: MemoBytes (RedeemersRaw DijkstraEra) [✔] (10ms)
    fix Transaction
      transaction: Annotator (Tx TopTx DijkstraEra) [‐]
        # PENDING: No reason given
      Generate bytestring from CDDL and decode/encode
        transaction: DijkstraTx TopTx DijkstraEra [‐]
          # PENDING: No reason given
    hangs
      Encode an arbitrary value and check against CDDL
        transaction: DijkstraTx TopTx DijkstraEra [‐]?7h
          # PENDING: No reason given
    Generate bytestring from CDDL and decode/encode
      voting_procedure: VotingProcedure DijkstraEra [✔]
    Encode an arbitrary value and check against CDDL
      voting_procedure: VotingProcedure DijkstraEra [✔] (1ms)
        +++ OK, passed 100 tests.
    Generate bytestring from CDDL and decode/encode
      proposal_procedure: ProposalProcedure DijkstraEra [✔] (4ms)
    Encode an arbitrary value and check against CDDL
      proposal_procedure: ProposalProcedure DijkstraEra [✔] (266ms)
        +++ OK, passed 100 tests.
    Generate bytestring from CDDL and decode/encode
      gov_action: GovAction DijkstraEra [✔] (4ms)
    Encode an arbitrary value and check against CDDL
      gov_action: GovAction DijkstraEra [✔] (136ms)
        +++ OK, passed 100 tests.
    Generate bytestring from CDDL and decode/encode
      certificate: DijkstraTxCert DijkstraEra [✔] (1ms)
    Encode an arbitrary value and check against CDDL
      certificate: DijkstraTxCert DijkstraEra [✔] (3ms)
        +++ OK, passed 100 tests.
    DecCBOR instances equivalence via CDDL
      transaction_body: MemoBytes (DijkstraTxBodyRaw TopTx DijkstraEra) [✔] (19ms)
      sub_transaction_body: MemoBytes (DijkstraTxBodyRaw SubTx DijkstraEra) [✔] (18ms)
      Fix decoder equivalence of TxAuxData
        auxiliary_data: MemoBytes (AlonzoTxAuxDataRaw DijkstraEra) [‐]
          # PENDING: No reason given
      native_script: DijkstraNativeScript DijkstraEra [✔] (2ms)
      plutus_data: MemoBytes (PlutusData DijkstraEra) [✔] (3ms)
      script: AlonzoScript DijkstraEra [✔]
      transaction_witness_set: MemoBytes (AlonzoTxWitsRaw DijkstraEra) [✔] (7ms)
      redeemers: MemoBytes (RedeemersRaw DijkstraEra) [✔] (8ms)
      Fix decoder equivalence of Tx
        transaction: DijkstraTx TopTx DijkstraEra [‐]
          # PENDING: No reason given
  Golden
    Golden JSON specs for PParams [✔] (3ms)
    Golden JSON specs for PParamsUpdate [✔] (35ms)
  Shelley era JSON Roundtrip: Dijkstra
    TransitionConfig DijkstraEra [✔] (9333ms)
      +++ OK, passed 100 tests.
  Imp
    ShelleyImpSpec
      Protocol Version 12
        DELEG
          Register stake credential
            With correct deposit or without any deposit [✔] (120ms)
            When already already registered [✔] (2ms)
          Unregister stake credentials
            When registered [✔] (1ms)
            When not registered [✔]
            With non-zero reward balance [✔] (195ms)
            Register and unregister in the same transaction [✔] (1ms)
          Delegate stake
            Delegate registered stake credentials to registered pool [✔] (2ms)
            Register and delegate in the same transaction [✔] (1ms)
            Delegate unregistered stake credentials [✔] (1ms)
            Delegate already delegated credentials [✔] (4ms)
            Delegate and unregister [✔] (1ms)
        EPOCH
          Runs basic transaction [✔] (59ms)
          Crosses epoch boundaries [✔] (55ms)
        LEDGER
          Transactions update UTxO [✔]
        POOL
          Register and re-register pools
            register a pool with too low cost [✔] (1ms)
            register a pool with a staking address having the wrong network id [✔]
            register a pool with too big metadata [✔] (1ms)
            register a new pool with an already registered VRF [✔] (1ms)
            re-register a pool and change its delegations in the same epoch [✔] (135ms)
            re-register a pool with an already registered VRF [✔] (2ms)
            re-register a pool with its own VRF [✔] (56ms)
            re-register a pool with a fresh VRF [✔] (58ms)
            register a new pool with the VRF of a re-registered pool  [✔] (58ms)
            after the epoch changes, reuse VRFs that get overwritten [✔] (202ms)
            before the epoch changes, try to reuse VRFs that get overwritten [✔] (2ms)
          Retiring pools
            retire an unregistered pool [✔]
            retire a pool with too high a retirement epoch [✔] (1ms)
            retire a pool with too low a retirement epoch [✔] (1ms)
            re-register a retiring pool with an already registered vrf [✔] (2ms)
            re-register retiring pool with its own VRF [✔] (1ms)
            re-register a retiring pool with a fresh VRF [✔] (63ms)
            register a pool with the VRF of a retiring pool [✔] (58ms)
            retiring a pool clears its delegations [✔] (58ms)
          Retired pools
            re-register a pool with the same keyhash and VRF  [✔] (57ms)
            register a pool with the VRF of a retired pool [✔] (56ms)
        UTXOW
          Bootstrap Witness
            Valid Witnesses [✔]
            InvalidWitnessesUTXOW [✔] (1ms)
          MissingVKeyWitnessesUTXOW [✔] (1ms)
          MissingScriptWitnessesUTXOW [✔]
          MissingTxBodyMetadataHash [✔]
          MissingTxMetadata [✔]
          ConflictingMetadataHash [✔]
          ExtraneousScriptWitnessesUTXOW [✔]
        UTXO
          ShelleyUtxoPredFailure
            ValueNotConservedUTxO [✔] (1ms)
    ShelleyPureTests
      InstantStakeIncludesRewards [✔] (455ms)
        +++ OK, passed 100 tests.
    AllegraImpSpec
      Protocol Version 12
        UTXOW
          InvalidMetadata [✔]
    MaryImpSpec
      Protocol Version 12
        UTXO
          Mint a Token [✔]
          ShelleyUtxoPredFailure
            ValueNotConservedUTxO [✔] (1ms)
    AlonzoImpSpec
      Protocol Version 12
        BBODY
          PlutusV1