/nix/store/9jf1pkbmpdzmgna6gh5fkvg7jq3mrmxi-cardano-ledger-alonzo-test-tests-1.11.0.0-check.drv

Running phase: unpackPhase
unpacking source archive /nix/store/9l38d2dzvvh52c9b7shzxcf97gw3d1rf-source-root-eras-alonzo-impl-test-tests-root
source root is source-root-eras-alonzo-impl-test-tests-root
Running phase: patchPhase
Running phase: buildPhase
/nix/store/gjclji85az9kyncl65mpbf36r42h9qk8-cardano-ledger-alonzo-test-tests-1.11.0.0/bin:
patching script interpreter paths in /private/tmp/nix-build-cardano-ledger-alonzo-test-tests-1.11.0.0-check.drv-0/tmp.eYgGuIHZa5/bin

Alonzo
  Upgrade from Mary to Alonzo
    upgradeTxOut is preserved through serialization [✔] (34ms)
      +++ OK, passed 100 tests.
    upgradeTxCert is preserved through serialization [✔] (6ms)
      +++ OK, passed 100 tests.
    upgradeTxAuxData is preserved through serialization [✔] (8ms)
      +++ OK, passed 100 tests.
    upgradeTxWits is preserved through serialization [✔] (411ms)
      +++ OK, passed 100 tests.
    upgradeTxBody is preserved through serialization [✔] (658ms)
      +++ OK, passed 100 tests.
  RoundTrip
    Alonzo era types
      Data (AlonzoEra StandardCrypto) [✔] (2ms)
        +++ OK, passed 100 tests.
      BinaryData (AlonzoEra StandardCrypto) [✔] (1ms)
        +++ OK, passed 100 tests.
      CostModels [✔] (59860ms)
        +++ OK, passed 100 tests.
      Datum doesn't roundtrip
        Datum (AlonzoEra StandardCrypto) [‐]
          # PENDING: No reason given
    Core Type Families
      MaryValue StandardCrypto [✔] (152ms)
        +++ OK, passed 100 tests.
      CompactForm (MaryValue StandardCrypto) [✔] (701ms)
        +++ OK, passed 100 tests.
      AlonzoTxOut (AlonzoEra StandardCrypto) [✔] (18ms)
        +++ OK, passed 100 tests.
      ShelleyTxCert (AlonzoEra StandardCrypto) [✔] (7ms)
        +++ OK, passed 100 tests.
      PParams (AlonzoEra StandardCrypto) [✔] (49006ms)
        +++ OK, passed 100 tests.
      PParamsUpdate (AlonzoEra StandardCrypto) [✔] (23077ms)
        +++ OK, passed 100 tests.
      BootstrapWitness StandardCrypto [✔] (5ms)
        +++ OK, passed 100 tests.
      AlonzoScript (AlonzoEra StandardCrypto) [✔] (6ms)
        +++ OK, passed 100 tests.
      AlonzoTxAuxData (AlonzoEra StandardCrypto) [✔] (161ms)
        +++ OK, passed 100 tests.
      AlonzoTxWits (AlonzoEra StandardCrypto) [✔] (479ms)
        +++ OK, passed 100 tests.
      AlonzoTxBody (AlonzoEra StandardCrypto) [✔] (445ms)
        +++ OK, passed 100 tests.
      AlonzoTx (AlonzoEra StandardCrypto) [✔] (940ms)
        +++ OK, passed 100 tests.
    Core State Types
      SnapShots StandardCrypto [✔] (8004ms)
        +++ OK, passed 100 tests.
      DState (AlonzoEra StandardCrypto) [✔] (981ms)
        +++ OK, passed 100 tests.
      PState (AlonzoEra StandardCrypto) [✔] (5048ms)
        +++ OK, passed 100 tests.
      CommitteeState (AlonzoEra StandardCrypto) [✔] (68ms)
        +++ OK, passed 100 tests.
      VState (AlonzoEra StandardCrypto) [✔] (1112ms)
        +++ OK, passed 100 tests.
      CertState (AlonzoEra StandardCrypto) [✔] (6088ms)
        +++ OK, passed 100 tests.
      UTxO (AlonzoEra StandardCrypto) [✔] (537ms)
        +++ OK, passed 100 tests.
    State Types Families
      ShelleyGovState (AlonzoEra StandardCrypto) [✔] (98372ms)
        +++ OK, passed 100 tests.
    State Types
      UTxOState (AlonzoEra StandardCrypto) [✔] (141970ms)
        +++ OK, passed 100 tests.
      EpochState (AlonzoEra StandardCrypto) [✔] (95157ms)
        +++ OK, passed 100 tests.
      NewEpochState (AlonzoEra StandardCrypto) [✔] (102252ms)
        +++ OK, passed 100 tests.
    Predicate Failures
      ShelleyDelegPredFailure (AlonzoEra StandardCrypto) [✔]
        +++ OK, passed 100 tests.
      ShelleyDelegsPredFailure (AlonzoEra StandardCrypto) [✔] (8ms)
        +++ OK, passed 100 tests.
      ShelleyDelplPredFailure (AlonzoEra StandardCrypto) [✔]
        +++ OK, passed 100 tests.
      ShelleyLedgerPredFailure (AlonzoEra StandardCrypto) [✔] (9ms)
        +++ OK, passed 100 tests.
      ShelleyLedgersPredFailure (AlonzoEra StandardCrypto) [✔] (9ms)
        +++ OK, passed 100 tests.
      ShelleyPoolPredFailure (AlonzoEra StandardCrypto) [✔]
        +++ OK, passed 100 tests.
      ShelleyPpupPredFailure (AlonzoEra StandardCrypto) [✔] (5ms)
        +++ OK, passed 100 tests.
      AlonzoUtxoPredFailure (AlonzoEra StandardCrypto) [✔] (129ms)
        +++ OK, passed 100 tests.
      AlonzoUtxowPredFailure (AlonzoEra StandardCrypto) [✔] (10ms)
        +++ OK, passed 100 tests.
      AlonzoUtxosPredFailure (AlonzoEra StandardCrypto) [✔] (16ms)
        +++ OK, passed 100 tests.
    AlonzoGenesis [✔] (23915ms)
      +++ OK, passed 100 tests.
  CDDL
    coin: MaryValue StandardCrypto [✔] (2461ms)
    transaction_body: Annotator (MemoBytes AlonzoTxBodyRaw (AlonzoEra StandardCrypto)) [✔] (2519ms)
    auxiliary_data: Annotator (MemoBytes AlonzoTxAuxDataRaw (AlonzoEra StandardCrypto)) [✔] (2424ms)
    native_script: Annotator (MemoBytes TimelockRaw (AlonzoEra StandardCrypto)) [✔] (2415ms)
    plutus_data: Annotator (MemoBytes PlutusData (AlonzoEra StandardCrypto)) [✔] (2495ms)
    transaction_output: AlonzoTxOut (AlonzoEra StandardCrypto) [✔] (2422ms)
    transaction_witness_set: Annotator (MemoBytes AlonzoTxWitsRaw (AlonzoEra StandardCrypto)) [✔] (2578ms)
    protocol_param_update: AlonzoPParams StrictMaybe (AlonzoEra StandardCrypto) [✔] (2596ms)
    [* redeemer]: Annotator (MemoBytes RedeemersRaw (AlonzoEra StandardCrypto)) [✔] (3371ms)
    transaction: Annotator (AlonzoTx (AlonzoEra StandardCrypto)) [✔] (3070ms)
    costmdls: CostModels [✔] (2781ms)
  Alonzo
    RoundTrip JSON
      PParams (AlonzoEra StandardCrypto) [✔] (7269ms)
        +++ OK, passed 100 tests.
  Golden translation tests
    golden/translations.cbor [✔] (138ms)
  Imp
    ShelleyImpSpec
      LEDGER
        Transactions update UTxO [✔] (17ms)
      EPOCH
        Runs basic transaction [✔] (88ms)
        Crosses epoch boundaries [✔] (88ms)
      UTXOW
        Bootstrap Witness
          Valid Witnesses [✔] (1ms)
          InvalidWitnessesUTXOW [✔] (1ms)
        MissingVKeyWitnessesUTXOW [✔]
        MissingScriptWitnessesUTXOW [✔]
        MissingTxBodyMetadataHash [✔]
        MissingTxMetadata [✔]
        ConflictingMetadataHash [✔]
        ExtraneousScriptWitnessesUTXOW [✔]
      UTXO
        ShelleyUtxoPredFailure
          ValueNotConservedUTxO [✔] (1ms)
    ShelleyPureTests
      StakeDistrIncludesRewards [✔] (911ms)
        +++ OK, passed 100 tests.
    AllegraImpSpec
      UTXOW
        InvalidMetadata [✔]
    MaryImpSpec
      UTXO
        Mint a Token [✔] (1ms)
        ShelleyUtxoPredFailure
          ValueNotConservedUTxO [✔] (1ms)
    AlonzoImpSpec
      UTXO
        Wrong network ID [✔]
        PlutusV1
          Too many execution units for tx [✔] (3ms)
          Insufficient collateral [✔] (3ms)
      UTXOS
        PlutusV1
          Spending scripts with a Datum
            redeemerSameAsDatum [✔] (117ms)
            purposeIsWellformedWithDatum [✔] (109ms)
            datumIsWellformed [✔] (100ms)
            inputsOutputsAreNotEmptyWithDatum [✔] (113ms)
          Valid transaction marked as invalid [✔] (1ms)
          Invalid transaction marked as valid [✔] (8ms)
          Invalid plutus script fails in phase 2 [✔] (3ms)
          Scripts pass in phase 2
            purposeIsWellformedWithDatum [✔] (4ms)
            datumIsWellformed [✔] (3ms)
            inputsOutputsAreNotEmptyWithDatum [✔] (2ms)
          No cost model [✔] (2ms)
      UTXOW PredicateFailures
        Valid transactions
          Validating SPEND script [‐]
            # PENDING: not implemented yet
          Not validating SPEND script [‐]
            # PENDING: not implemented yet
          Validating CERT script [‐]
            # PENDING: not implemented yet
          Not validating CERT script [‐]
            # PENDING: not implemented yet
          Validating WITHDRAWAL script [‐]
            # PENDING: not implemented yet
          Not validating WITHDRAWAL script [‐]
            # PENDING: not implemented yet
          Validating MINT script [‐]
            # PENDING: not implemented yet
          Not validating MINT script [‐]
            # PENDING: not implemented yet
          Validating scripts everywhere [‐]
            # PENDING: not implemented yet
          Acceptable supplimentary datum [‐]
            # PENDING: not implemented yet
          Multiple identical certificates [‐]
            # PENDING: not implemented yet
          Non-script output with datum [‐]
            # PENDING: not implemented yet
        Invalid transactions
          Phase 1 script failure [✔] (1ms)
          PlutusV1
            MissingRedeemers [✔] (2ms)
            MissingRequiredDatums [✔] (2ms)
            NotAllowedSupplementalDatums [✔] (3ms)
            PPViewHashesDontMatch
              Mismatched [✔] (3ms)
              Missing [✔] (3ms)
            UnspendableUTxONoDatumHash [✔] (2ms)
            No ExtraRedeemers on same script certificates [✔] (3ms)
            Missing phase-2 script witness [✔] (3ms)
            Redeemer with incorrect purpose [✔] (3ms)
            Missing witness for collateral input [✔] (2ms)
            Extra Redeemer
              Minting [✔] (2ms)
              Spending [✔] (3ms)
              Multiple equal plutus-locked certs [✔] (3ms)
  CostModels
    CBOR deserialization
      valid CostModels deserialize correctly, both independently and within PParamsUpdate [✔] (3634ms)
        +++ OK, passed 100 tests.
      CostModels with less than expected parameters within PParamsUpdate [✔] (3ms)
        +++ OK, passed 100 tests.
      unknown CostModels deserialize correctly within PParamsUpdate starting with Conway [✔]
        +++ OK, passed 100 tests.
    applyPPUpdates [✔] (8888ms)
      +++ OK, passed 100 tests.
  TxWits
    AlonzoTxWits deserialization
      plutus scripts
        fails to deserialize if fields contain an empty collection [✔]
          +++ OK, passed 100 tests.
        fails to deserialize if empty or if it contains duplicates, starting with Conway [✔] (1ms)
          +++ OK, passed 100 tests.
        fails to deserialize if empty, starting with Conway [✔] (1ms)
          +++ OK, passed 100 tests.

Finished in 670.4220 seconds
119 examples, 0 failures, 13 pending
buildPhase completed in 11 minutes 12 seconds