/nix/store/1ik5k4bpg4w17a764y76x5iih4iy1l8y-cardano-ledger-mary-test-tests-1.7.0.1-check.drv

Running phase: unpackPhase
unpacking source archive /nix/store/pa8bncb0b4w30p8nw2ddirsmjvj1rvkc-source-root-eras-mary-impl-test-tests-root
source root is source-root-eras-mary-impl-test-tests-root
Running phase: patchPhase
Running phase: buildPhase
/nix/store/6c4lyv993s6cwvw7766yyspn6bwppz3w-cardano-ledger-mary-test-tests-1.7.0.1/bin:
patching script interpreter paths in /private/tmp/nix-build-cardano-ledger-mary-test-tests-1.7.0.1-check.drv-0/tmp.nJVNEY9ClN/bin

Mary
  MultiAsset
    Canonical construction agrees [✔] (1785ms)
      +++ OK, passed 10000 tests.
  CBOR roundtrip
    Coin
      Non-negative Coin succeeds for all eras [✔] (2ms)
        +++ OK, passed 100 tests.
      Negative Coin succeeds for pre-Conway [✔] (1ms)
        +++ OK, passed 100 tests.
      Negative Coin fails to deserialise for Conway [✔]
        +++ OK, passed 100 tests.
    MultiAsset
      Non-zero-valued MultiAsset succeeds for all eras [✔] (755ms)
        +++ OK, passed 100 tests.
      Zero-valued MultiAsset fails for Conway [✔] (37ms)
        +++ OK, passed 100 tests.
      Empty MultiAsset fails for Conway [✔] (7ms)
        +++ OK, passed 100 tests.
    MaryValue
      Positive MaryValue succeeds for all eras [✔] (531ms)
        +++ OK, passed 100 tests.
      Negative MaryValue fails for all eras [✔] (30ms)
        +++ OK, passed 100 tests.
      Zero MaryValue fails for Conway [✔] (29ms)
        +++ OK, passed 100 tests.
      Empty MaryValue fails for Conway [✔] (6ms)
        +++ OK, passed 100 tests.
      Too many assets should fail [✔] (1483ms)
        +++ OK, passed 100 tests.
  MaryValue compacting
    Canonical generator [✔] (59ms)
      +++ OK, passed 100 tests.
    Failing generator [✔] (642ms)
      +++ OK, passed 100 tests.
  Upgrade from Allegra to Mary
    upgradeTxOut is preserved through serialization [✔] (4ms)
      +++ OK, passed 100 tests.
    upgradeTxCert is preserved through serialization [✔] (4ms)
      +++ OK, passed 100 tests.
    upgradeTxAuxData is preserved through serialization [✔] (9ms)
      +++ OK, passed 100 tests.
    upgradeTxWits is preserved through serialization [✔] (260ms)
      +++ OK, passed 100 tests.
    upgradeTxBody is preserved through serialization [✔] (287ms)
      +++ OK, passed 100 tests.
    upgradeTx is preserved through serialization [✔] (339ms)
      +++ OK, passed 100 tests.
    upgradeScript is preserved through serialization [✔] (2ms)
      +++ OK, passed 100 tests.
  RoundTrip
    Core Type Families
      MaryValue StandardCrypto [✔] (69ms)
        +++ OK, passed 100 tests.
      CompactForm (MaryValue StandardCrypto) [✔] (262ms)
        +++ OK, passed 100 tests.
      ShelleyTxOut (MaryEra StandardCrypto) [✔] (9ms)
        +++ OK, passed 100 tests.
      ShelleyTxCert (MaryEra StandardCrypto) [✔] (4ms)
        +++ OK, passed 100 tests.
      PParams (MaryEra StandardCrypto) [✔] (5ms)
        +++ OK, passed 100 tests.
      PParamsUpdate (MaryEra StandardCrypto) [✔] (5ms)
        +++ OK, passed 100 tests.
      BootstrapWitness StandardCrypto [✔] (3ms)
        +++ OK, passed 100 tests.
      Timelock (MaryEra StandardCrypto) [✔] (2ms)
        +++ OK, passed 100 tests.
      AllegraTxAuxData (MaryEra StandardCrypto) [✔] (7ms)
        +++ OK, passed 100 tests.
      ShelleyTxWits (MaryEra StandardCrypto) [✔] (265ms)
        +++ OK, passed 100 tests.
      MaryTxBody (MaryEra StandardCrypto) [✔] (426ms)
        +++ OK, passed 100 tests.
      ShelleyTx (MaryEra StandardCrypto) [✔] (486ms)
        +++ OK, passed 100 tests.
    Core State Types
      SnapShots StandardCrypto [✔] (2835ms)
        +++ OK, passed 100 tests.
      DState (MaryEra StandardCrypto) [✔] (360ms)
        +++ OK, passed 100 tests.
      PState (MaryEra StandardCrypto) [✔] (1824ms)
        +++ OK, passed 100 tests.
      CommitteeState (MaryEra StandardCrypto) [✔] (26ms)
        +++ OK, passed 100 tests.
      VState (MaryEra StandardCrypto) [✔] (56ms)
        +++ OK, passed 100 tests.
      CertState (MaryEra StandardCrypto) [✔] (2244ms)
        +++ OK, passed 100 tests.
      UTxO (MaryEra StandardCrypto) [✔] (253ms)
        +++ OK, passed 100 tests.
    State Types Families
      ShelleyGovState (MaryEra StandardCrypto) [✔] (28ms)
        +++ OK, passed 100 tests.
    State Types
      UTxOState (MaryEra StandardCrypto) [✔] (331ms)
        +++ OK, passed 100 tests.
      EpochState (MaryEra StandardCrypto) [✔] (6517ms)
        +++ OK, passed 100 tests.
      NewEpochState (MaryEra StandardCrypto) [✔] (7255ms)
        +++ OK, passed 100 tests.
    Predicate Failures
      ShelleyDelegPredFailure (MaryEra StandardCrypto) [✔] (1ms)
        +++ OK, passed 100 tests.
      ShelleyDelegsPredFailure (MaryEra StandardCrypto) [✔] (11ms)
        +++ OK, passed 100 tests.
      ShelleyDelplPredFailure (MaryEra StandardCrypto) [✔] (1ms)
        +++ OK, passed 100 tests.
      ShelleyLedgerPredFailure (MaryEra StandardCrypto) [✔] (10ms)
        +++ OK, passed 100 tests.
      ShelleyLedgersPredFailure (MaryEra StandardCrypto) [✔] (11ms)
        +++ OK, passed 100 tests.
      ShelleyPoolPredFailure (MaryEra StandardCrypto) [✔] (1ms)
        +++ OK, passed 100 tests.
      ShelleyPpupPredFailure (MaryEra StandardCrypto) [✔] (3ms)
        +++ OK, passed 100 tests.
      AllegraUtxoPredFailure (MaryEra StandardCrypto) [✔] (80ms)
        +++ OK, passed 100 tests.
      ShelleyUtxowPredFailure (MaryEra StandardCrypto) [✔] (21ms)
        +++ OK, passed 100 tests.
  CDDL
    value: MaryValue StandardCrypto [✔] (4272ms)
    transaction_body: Annotator (MemoBytes MaryTxBodyRaw (MaryEra StandardCrypto)) [✔] (3998ms)
    native_script: Annotator (MemoBytes TimelockRaw (MaryEra StandardCrypto)) [✔] (3808ms)
    auxiliary_data: Annotator (MemoBytes AllegraTxAuxDataRaw (MaryEra StandardCrypto)) [✔] (4098ms)
  Imp
    ShelleyImpSpec
      LEDGER
        Transactions update UTxO [✔] (1ms)
      EPOCH
        Runs basic transaction [✔] (27ms)
        Crosses epoch boundaries [✔] (25ms)
      UTXOW
        Bootstrap Witness
          Valid Witnesses [✔] (1ms)
          InvalidWitnessesUTXOW [✔]
        MissingVKeyWitnessesUTXOW [✔]
        MissingScriptWitnessesUTXOW [✔] (1ms)
        MissingTxBodyMetadataHash [✔]
        MissingTxMetadata [✔]
        ConflictingMetadataHash [✔]
        ExtraneousScriptWitnessesUTXOW [✔]
      UTXO
        ShelleyUtxoPredFailure
          ValueNotConservedUTxO [✔]
    ShelleyPureTests
      StakeDistrIncludesRewards [✔] (53ms)
        +++ OK, passed 100 tests.
    AllegraImpSpec
      UTXOW
        InvalidMetadata [✔] (1ms)
    MaryImpSpec
      UTXO
        Mint a Token [✔]
        ShelleyUtxoPredFailure
          ValueNotConservedUTxO [✔] (1ms)

Finished in 46.0249 seconds
73 examples, 0 failures
buildPhase completed in 46 seconds