querying info about missing paths
querying info about '/nix/store/2z2df7ra6b7yigr3xg4jqcp4jgy2n2f3-lbt-plutus-plutustx-test-tests-0.1.0.0-check' on 'https://cache.nixos.org'
downloading 'https://cache.nixos.org/2z2df7ra6b7yigr3xg4jqcp4jgy2n2f3.narinfo'
querying info about '/nix/store/2z2df7ra6b7yigr3xg4jqcp4jgy2n2f3-lbt-plutus-plutustx-test-tests-0.1.0.0-check' on 'https://mlabs.cachix.org'
downloading 'https://mlabs.cachix.org/2z2df7ra6b7yigr3xg4jqcp4jgy2n2f3.narinfo'
querying info about '/nix/store/2z2df7ra6b7yigr3xg4jqcp4jgy2n2f3-lbt-plutus-plutustx-test-tests-0.1.0.0-check' on 'https://cache.nixos.org'
downloading 'https://cache.nixos.org/2z2df7ra6b7yigr3xg4jqcp4jgy2n2f3.narinfo'
querying info about '/nix/store/2z2df7ra6b7yigr3xg4jqcp4jgy2n2f3-lbt-plutus-plutustx-test-tests-0.1.0.0-check' on 'https://mlabs.cachix.org'
downloading 'https://mlabs.cachix.org/2z2df7ra6b7yigr3xg4jqcp4jgy2n2f3.narinfo'
building '/nix/store/crnl10qhhrzw8hixzgjs7w6z5ckwy28j-lbt-plutus-plutustx-test-tests-0.1.0.0-check.drv'
Running phase: unpackPhase
unpacking source archive /nix/store/m35sfjid87bvs6chc1b04ahva0s1sg7k-lbt-plutus-plutustx
source root is lbt-plutus-plutustx
Running phase: patchPhase
Running phase: buildPhase
/nix/store/3shlzpldmz9b561f0bcsb8wqmq93wwqc-lbt-plutus-plutustx-test-tests-0.1.0.0/bin:
patching script interpreter paths in /build/tmp.0jBW9SeeEB/bin
LambdaBuffers Plutus package tests
  Round trip tests (from goldens and back)
    Transparent golden types
      Days.Day
        Days.Day.0.pd.json:                         OK (0.02s)
        Days.Day.1.pd.json:                         OK
        Days.Day.2.pd.json:                         OK
        Days.Day.3.pd.json:                         OK
        Days.Day.4.pd.json:                         OK
        Days.Day.5.pd.json:                         OK
        Days.Day.6.pd.json:                         OK
      Days.FreeDay
        Days.FreeDay.0.pd.json:                     OK
        Days.FreeDay.1.pd.json:                     OK
      Days.WorkDay
        Days.WorkDay.0.pd.json:                     OK
        Days.WorkDay.1.pd.json:                     OK
        Days.WorkDay.2.pd.json:                     OK
        Days.WorkDay.3.pd.json:                     OK
        Days.WorkDay.4.pd.json:                     OK
      Foo.A
        Foo.A.0.pd.json:                            OK
        Foo.A.1.pd.json:                            OK
        Foo.A.2.pd.json:                            OK
        Foo.A.3.pd.json:                            OK
        Foo.A.4.pd.json:                            OK
        Foo.A.5.pd.json:                            OK
        Foo.A.6.pd.json:                            OK
        Foo.A.7.pd.json:                            OK
        Foo.A.8.pd.json:                            OK
        Foo.A.9.pd.json:                            OK
      Foo.B
        Foo.B.0.pd.json:                            OK
        Foo.B.1.pd.json:                            OK
        Foo.B.2.pd.json:                            OK
        Foo.B.3.pd.json:                            OK
        Foo.B.4.pd.json:                            OK
        Foo.B.5.pd.json:                            OK
        Foo.B.6.pd.json:                            OK
        Foo.B.7.pd.json:                            OK
        Foo.B.8.pd.json:                            OK
        Foo.B.9.pd.json:                            OK
      Foo.C
        Foo.C.0.pd.json:                            OK
        Foo.C.1.pd.json:                            OK
        Foo.C.2.pd.json:                            OK
        Foo.C.3.pd.json:                            OK
        Foo.C.4.pd.json:                            OK
        Foo.C.5.pd.json:                            OK
        Foo.C.6.pd.json:                            OK
        Foo.C.7.pd.json:                            OK
        Foo.C.8.pd.json:                            OK
        Foo.C.9.pd.json:                            OK
      Foo.D
        Foo.D.0.pd.json:                            OK
        Foo.D.1.pd.json:                            OK
        Foo.D.2.pd.json:                            OK
        Foo.D.3.pd.json:                            OK
        Foo.D.4.pd.json:                            OK
        Foo.D.5.pd.json:                            OK
        Foo.D.6.pd.json:                            OK
        Foo.D.7.pd.json:                            OK
      Foo.FInt:                                     IGNORED
        GHC Core to PLC plugin: E003:Error: Error from the PIR compiler: E003: Unsupported construct: Mutually recursive datatypes ((recursive) let binding; from [ AnnOther ])
      Foo.GInt:                                     IGNORED
        GHC Core to PLC plugin: E003:Error: Error from the PIR compiler: E003: Unsupported construct: Mutually recursive datatypes ((recursive) let binding; from [ AnnOther ])
    LB Prelude golden types
      Prelude.Maybe
        Prelude.Maybe.0.pd.json:                    OK
        Prelude.Maybe.1.pd.json:                    OK
        Prelude.Maybe.2.pd.json:                    OK
      Prelude.Either
        Prelude.Either.0.pd.json:                   OK
        Prelude.Either.1.pd.json:                   OK
        Prelude.Either.2.pd.json:                   OK
      Prelude.List
        Prelude.List.0.pd.json:                     OK
        Prelude.List.1.pd.json:                     OK
        Prelude.List.2.pd.json:                     OK
        Prelude.List.3.pd.json:                     OK
      Prelude.Integer
        Prelude.Integer.0.pd.json:                  IGNORED
          TODO(bladyjoker): Include Prelude.Integer in the goldens
        Prelude.Integer.1.pd.json:                  IGNORED
          TODO(bladyjoker): Include Prelude.Integer in the goldens
    LB Plutus.V1. golden types
      PlutusV1.Address
        PlutusV1.Address.0.pd.json:                 OK
        PlutusV1.Address.1.pd.json:                 OK
        PlutusV1.Address.2.pd.json:                 OK
        PlutusV1.Address.3.pd.json:                 OK
        PlutusV1.Address.4.pd.json:                 OK
        PlutusV1.Address.5.pd.json:                 OK
        PlutusV1.Address.6.pd.json:                 OK
        PlutusV1.Address.7.pd.json:                 OK
      PlutusV1.AssetClass
        PlutusV1.AssetClass.0.pd.json:              OK
        PlutusV1.AssetClass.1.pd.json:              OK
        PlutusV1.AssetClass.2.pd.json:              OK
        PlutusV1.AssetClass.3.pd.json:              OK
      PlutusV1.Bytes
        PlutusV1.Bytes.0.pd.json:                   OK
        PlutusV1.Bytes.1.pd.json:                   OK
        PlutusV1.Bytes.2.pd.json:                   OK
      PlutusV1.Credential
        PlutusV1.Credential.0.pd.json:              OK
        PlutusV1.Credential.1.pd.json:              OK
      PlutusV1.CurrencySymbol
        PlutusV1.CurrencySymbol.0.pd.json:          OK
        PlutusV1.CurrencySymbol.1.pd.json:          OK
      PlutusV1.Datum
        PlutusV1.Datum.0.pd.json:                   OK
      PlutusV1.DatumHash
        PlutusV1.DatumHash.0.pd.json:               OK
      PlutusV1.Extended
        PlutusV1.Extended.0.pd.json:                OK
        PlutusV1.Extended.1.pd.json:                OK
        PlutusV1.Extended.2.pd.json:                OK
      PlutusV1.Interval
        PlutusV1.Interval.0.pd.json:                OK
        PlutusV1.Interval.1.pd.json:                OK
        PlutusV1.Interval.2.pd.json:                OK
        PlutusV1.Interval.3.pd.json:                OK
        PlutusV1.Interval.4.pd.json:                OK
        PlutusV1.Interval.5.pd.json:                OK
        PlutusV1.Interval.6.pd.json:                OK
        PlutusV1.Interval.7.pd.json:                OK
        PlutusV1.Interval.8.pd.json:                OK
        PlutusV1.Interval.9.pd.json:                OK
      PlutusV1.LowerBound
        PlutusV1.LowerBound.0.pd.json:              OK
        PlutusV1.LowerBound.1.pd.json:              OK
        PlutusV1.LowerBound.2.pd.json:              OK
        PlutusV1.LowerBound.3.pd.json:              OK
        PlutusV1.LowerBound.4.pd.json:              OK
        PlutusV1.LowerBound.5.pd.json:              OK
      PlutusV1.Map
        PlutusV1.Map.0.pd.json:                     OK
        PlutusV1.Map.1.pd.json:                     OK
        PlutusV1.Map.2.pd.json:                     OK
      PlutusV1.POSIXTime
        PlutusV1.POSIXTime.0.pd.json:               OK
        PlutusV1.POSIXTime.1.pd.json:               OK
        PlutusV1.POSIXTime.2.pd.json:               OK
      PlutusV1.POSIXTimeRange
        PlutusV1.POSIXTimeRange.0.pd.json:          OK
        PlutusV1.POSIXTimeRange.1.pd.json:          OK
        PlutusV1.POSIXTimeRange.2.pd.json:          OK
        PlutusV1.POSIXTimeRange.3.pd.json:          OK
        PlutusV1.POSIXTimeRange.4.pd.json:          OK
        PlutusV1.POSIXTimeRange.5.pd.json:          OK
        PlutusV1.POSIXTimeRange.6.pd.json:          OK
        PlutusV1.POSIXTimeRange.7.pd.json:          OK
        PlutusV1.POSIXTimeRange.8.pd.json:          OK
        PlutusV1.POSIXTimeRange.9.pd.json:          OK
      PlutusV1.PlutusData
        PlutusV1.PlutusData.0.pd.json:              OK
        PlutusV1.PlutusData.1.pd.json:              OK
        PlutusV1.PlutusData.2.pd.json:              OK
        PlutusV1.PlutusData.3.pd.json:              OK
        PlutusV1.PlutusData.4.pd.json:              OK
        PlutusV1.PlutusData.5.pd.json:              OK
        PlutusV1.PlutusData.6.pd.json:              OK
        PlutusV1.PlutusData.7.pd.json:              OK
        PlutusV1.PlutusData.8.pd.json:              OK
        PlutusV1.PlutusData.9.pd.json:              OK
        PlutusV1.PlutusData.10.pd.json:             OK
        PlutusV1.PlutusData.11.pd.json:             OK
        PlutusV1.PlutusData.12.pd.json:             OK
      PlutusV1.Redeemer
        PlutusV1.Redeemer.0.pd.json:                OK
      PlutusV1.RedeemerHash
        PlutusV1.RedeemerHash.0.pd.json:            OK
      PlutusV1.ScriptHash
        PlutusV1.ScriptHash.0.pd.json:              OK
      PlutusV1.StakingCredential
        PlutusV1.StakingCredential.0.pd.json:       OK
        PlutusV1.StakingCredential.1.pd.json:       OK
        PlutusV1.StakingCredential.2.pd.json:       OK
      PlutusV1.TokenName
        PlutusV1.TokenName.0.pd.json:               OK
        PlutusV1.TokenName.1.pd.json:               OK
        PlutusV1.TokenName.2.pd.json:               OK
      PlutusV1.TxId
        PlutusV1.TxId.0.pd.json:                    OK
      PlutusV1.TxOutRef
        PlutusV1.TxOutRef.0.pd.json:                OK
      PlutusV1.UpperBound
        PlutusV1.UpperBound.0.pd.json:              OK
        PlutusV1.UpperBound.1.pd.json:              OK
        PlutusV1.UpperBound.2.pd.json:              OK
        PlutusV1.UpperBound.3.pd.json:              OK
        PlutusV1.UpperBound.4.pd.json:              OK
        PlutusV1.UpperBound.5.pd.json:              OK
      PlutusV1.Value
        PlutusV1.Value.0.pd.json:                   OK
        PlutusV1.Value.1.pd.json:                   OK
        PlutusV1.Value.2.pd.json:                   OK
      PlutusV1.DCert
        PlutusV1.DCert.0.pd.json:                   OK
        PlutusV1.DCert.1.pd.json:                   OK
        PlutusV1.DCert.2.pd.json:                   OK
        PlutusV1.DCert.3.pd.json:                   OK
        PlutusV1.DCert.4.pd.json:                   OK
        PlutusV1.DCert.5.pd.json:                   OK
        PlutusV1.DCert.6.pd.json:                   OK
        PlutusV1.DCert.7.pd.json:                   OK
        PlutusV1.DCert.8.pd.json:                   OK
        PlutusV1.DCert.9.pd.json:                   OK
      PlutusV1.TxOut
        PlutusV1.TxOut.0.pd.json:                   OK
        PlutusV1.TxOut.1.pd.json:                   OK
        PlutusV1.TxOut.2.pd.json:                   OK
        PlutusV1.TxOut.3.pd.json:                   OK
        PlutusV1.TxOut.4.pd.json:                   OK
        PlutusV1.TxOut.5.pd.json:                   OK
        PlutusV1.TxOut.6.pd.json:                   OK
        PlutusV1.TxOut.7.pd.json:                   OK
        PlutusV1.TxOut.8.pd.json:                   OK
        PlutusV1.TxOut.9.pd.json:                   OK
      PlutusV1.TxInInfo
        PlutusV1.TxInInfo.0.pd.json:                OK
        PlutusV1.TxInInfo.1.pd.json:                OK
        PlutusV1.TxInInfo.2.pd.json:                OK
        PlutusV1.TxInInfo.3.pd.json:                OK
        PlutusV1.TxInInfo.4.pd.json:                OK
        PlutusV1.TxInInfo.5.pd.json:                OK
        PlutusV1.TxInInfo.6.pd.json:                OK
        PlutusV1.TxInInfo.7.pd.json:                OK
        PlutusV1.TxInInfo.8.pd.json:                OK
        PlutusV1.TxInInfo.9.pd.json:                OK
      PlutusV1.ScriptPurpose
        PlutusV1.ScriptPurpose.0.pd.json:           OK
        PlutusV1.ScriptPurpose.1.pd.json:           OK
        PlutusV1.ScriptPurpose.2.pd.json:           OK
        PlutusV1.ScriptPurpose.3.pd.json:           OK
        PlutusV1.ScriptPurpose.4.pd.json:           OK
        PlutusV1.ScriptPurpose.5.pd.json:           OK
        PlutusV1.ScriptPurpose.6.pd.json:           OK
        PlutusV1.ScriptPurpose.7.pd.json:           OK
        PlutusV1.ScriptPurpose.8.pd.json:           OK
        PlutusV1.ScriptPurpose.9.pd.json:           OK
      PlutusV1.TxInfo
        PlutusV1.TxInfo.0.pd.json:                  OK (0.03s)
        PlutusV1.TxInfo.1.pd.json:                  OK (0.03s)
        PlutusV1.TxInfo.2.pd.json:                  OK (0.03s)
        PlutusV1.TxInfo.3.pd.json:                  OK (0.03s)
        PlutusV1.TxInfo.4.pd.json:                  OK (0.03s)
        PlutusV1.TxInfo.5.pd.json:                  OK (0.03s)
        PlutusV1.TxInfo.6.pd.json:                  OK (0.03s)
        PlutusV1.TxInfo.7.pd.json:                  OK (0.03s)
        PlutusV1.TxInfo.8.pd.json:                  OK (0.03s)
        PlutusV1.TxInfo.9.pd.json:                  OK (0.03s)
      PlutusV1.ScriptContext
        PlutusV1.ScriptContext.0.pd.json:           OK (0.03s)
        PlutusV1.ScriptContext.1.pd.json:           OK (0.03s)
        PlutusV1.ScriptContext.2.pd.json:           OK (0.03s)
        PlutusV1.ScriptContext.3.pd.json:           OK (0.03s)
        PlutusV1.ScriptContext.4.pd.json:           OK (0.03s)
        PlutusV1.ScriptContext.5.pd.json:           OK (0.03s)
        PlutusV1.ScriptContext.6.pd.json:           OK (0.03s)
        PlutusV1.ScriptContext.7.pd.json:           OK (0.03s)
        PlutusV1.ScriptContext.8.pd.json:           OK (0.02s)
        PlutusV1.ScriptContext.9.pd.json:           OK (0.03s)
    LB Plutus.V2 golden types
      PlutusV2.OutputDatum
        PlutusV2.OutputDatum.0.pd.json:             OK
        PlutusV2.OutputDatum.1.pd.json:             OK
        PlutusV2.OutputDatum.2.pd.json:             OK
      PlutusV2.TxInInfo
        PlutusV2.TxInInfo.0.pd.json:                OK
        PlutusV2.TxInInfo.1.pd.json:                OK
        PlutusV2.TxInInfo.2.pd.json:                OK
        PlutusV2.TxInInfo.3.pd.json:                OK
        PlutusV2.TxInInfo.4.pd.json:                OK
        PlutusV2.TxInInfo.5.pd.json:                OK
        PlutusV2.TxInInfo.6.pd.json:                OK
        PlutusV2.TxInInfo.7.pd.json:                OK
        PlutusV2.TxInInfo.8.pd.json:                OK
        PlutusV2.TxInInfo.9.pd.json:                OK
      PlutusV2.TxOut
        PlutusV2.TxOut.0.pd.json:                   OK
        PlutusV2.TxOut.1.pd.json:                   OK
        PlutusV2.TxOut.2.pd.json:                   OK
        PlutusV2.TxOut.3.pd.json:                   OK
        PlutusV2.TxOut.4.pd.json:                   OK
        PlutusV2.TxOut.5.pd.json:                   OK
        PlutusV2.TxOut.6.pd.json:                   OK
        PlutusV2.TxOut.7.pd.json:                   OK
        PlutusV2.TxOut.8.pd.json:                   OK
        PlutusV2.TxOut.9.pd.json:                   OK
      PlutusV2.TxInfo
        PlutusV2.TxInfo.0.pd.json:                  OK (0.06s)
        PlutusV2.TxInfo.1.pd.json:                  OK (0.07s)
        PlutusV2.TxInfo.2.pd.json:                  OK (0.06s)
        PlutusV2.TxInfo.3.pd.json:                  OK (0.07s)
        PlutusV2.TxInfo.4.pd.json:                  OK (0.06s)
        PlutusV2.TxInfo.5.pd.json:                  OK (0.07s)
        PlutusV2.TxInfo.6.pd.json:                  OK (0.07s)
        PlutusV2.TxInfo.7.pd.json:                  OK (0.07s)
        PlutusV2.TxInfo.8.pd.json:                  OK (0.06s)
        PlutusV2.TxInfo.9.pd.json:                  OK (0.07s)
      PlutusV2.ScriptContext
        PlutusV2.ScriptContext.0.pd.json:           OK (0.07s)
        PlutusV2.ScriptContext.1.pd.json:           OK (0.06s)
        PlutusV2.ScriptContext.2.pd.json:           OK (0.07s)
        PlutusV2.ScriptContext.3.pd.json:           OK (0.07s)
        PlutusV2.ScriptContext.4.pd.json:           OK (0.06s)
        PlutusV2.ScriptContext.5.pd.json:           OK (0.07s)
        PlutusV2.ScriptContext.6.pd.json:           OK (0.07s)
        PlutusV2.ScriptContext.7.pd.json:           OK (0.06s)
        PlutusV2.ScriptContext.8.pd.json:           OK (0.07s)
        PlutusV2.ScriptContext.9.pd.json:           OK (0.07s)
    LB Plutus.V3 golden types
      PlutusV3.Rational
        PlutusV3.Rational.0.pd.json:                OK
      PlutusV3.TxId
        PlutusV3.TxId.0.pd.json:                    OK
      PlutusV3.TxOutRef
        PlutusV3.TxOutRef.0.pd.json:                OK
      PlutusV3.ColdCommitteeCredential
        PlutusV3.ColdCommitteeCredential.0.pd.json: OK
        PlutusV3.ColdCommitteeCredential.1.pd.json: OK
      PlutusV3.HotCommitteeCredential
        PlutusV3.HotCommitteeCredential.0.pd.json:  OK
        PlutusV3.HotCommitteeCredential.1.pd.json:  OK
      PlutusV3.DRepCredential
        PlutusV3.DRepCredential.0.pd.json:          OK
        PlutusV3.DRepCredential.1.pd.json:          OK
      PlutusV3.DRep
        PlutusV3.DRep.0.pd.json:                    OK
        PlutusV3.DRep.1.pd.json:                    OK
        PlutusV3.DRep.2.pd.json:                    OK
        PlutusV3.DRep.3.pd.json:                    OK
      PlutusV3.Delegatee
        PlutusV3.Delegatee.0.pd.json:               OK
        PlutusV3.Delegatee.1.pd.json:               OK
        PlutusV3.Delegatee.2.pd.json:               OK
        PlutusV3.Delegatee.3.pd.json:               OK
        PlutusV3.Delegatee.4.pd.json:               OK
        PlutusV3.Delegatee.5.pd.json:               OK
        PlutusV3.Delegatee.6.pd.json:               OK
        PlutusV3.Delegatee.7.pd.json:               OK
        PlutusV3.Delegatee.8.pd.json:               OK
      PlutusV3.TxCert
        PlutusV3.TxCert.0.pd.json:                  OK
        PlutusV3.TxCert.1.pd.json:                  OK
        PlutusV3.TxCert.2.pd.json:                  OK
        PlutusV3.TxCert.3.pd.json:                  OK
        PlutusV3.TxCert.4.pd.json:                  OK
        PlutusV3.TxCert.5.pd.json:                  OK
        PlutusV3.TxCert.6.pd.json:                  OK
        PlutusV3.TxCert.7.pd.json:                  OK
        PlutusV3.TxCert.8.pd.json:                  OK
        PlutusV3.TxCert.9.pd.json:                  OK
      PlutusV3.Voter
        PlutusV3.Voter.0.pd.json:                   OK
        PlutusV3.Voter.1.pd.json:                   OK
        PlutusV3.Voter.2.pd.json:                   OK
        PlutusV3.Voter.3.pd.json:                   OK
        PlutusV3.Voter.4.pd.json:                   OK
      PlutusV3.Vote
        PlutusV3.Vote.0.pd.json:                    OK
        PlutusV3.Vote.1.pd.json:                    OK
        PlutusV3.Vote.2.pd.json:                    OK
      PlutusV3.GovernanceActionId
        PlutusV3.GovernanceActionId.0.pd.json:      OK
      PlutusV3.Committee
        PlutusV3.Committee.0.pd.json:               OK
      PlutusV3.Constitution
        PlutusV3.Constitution.0.pd.json:            OK
        PlutusV3.Constitution.1.pd.json:            OK
      PlutusV3.ProtocolVersion
        PlutusV3.ProtocolVersion.0.pd.json:         OK
      PlutusV3.ChangedParameters
        PlutusV3.ChangedParameters.0.pd.json:       OK
        PlutusV3.ChangedParameters.1.pd.json:       OK
        PlutusV3.ChangedParameters.2.pd.json:       OK
        PlutusV3.ChangedParameters.3.pd.json:       OK
        PlutusV3.ChangedParameters.4.pd.json:       OK
        PlutusV3.ChangedParameters.5.pd.json:       OK
        PlutusV3.ChangedParameters.6.pd.json:       OK
        PlutusV3.ChangedParameters.7.pd.json:       OK
        PlutusV3.ChangedParameters.8.pd.json:       OK
        PlutusV3.ChangedParameters.9.pd.json:       OK
      PlutusV3.GovernanceAction
        PlutusV3.GovernanceAction.0.pd.json:        OK
        PlutusV3.GovernanceAction.1.pd.json:        OK
        PlutusV3.GovernanceAction.2.pd.json:        OK
        PlutusV3.GovernanceAction.3.pd.json:        OK
        PlutusV3.GovernanceAction.4.pd.json:        OK
        PlutusV3.GovernanceAction.5.pd.json:        OK
        PlutusV3.GovernanceAction.6.pd.json:        OK
        PlutusV3.GovernanceAction.7.pd.json:        OK
        PlutusV3.GovernanceAction.8.pd.json:        OK
        PlutusV3.GovernanceAction.9.pd.json:        OK
      PlutusV3.ProposalProcedure
        PlutusV3.ProposalProcedure.0.pd.json:       OK
        PlutusV3.ProposalProcedure.1.pd.json:       OK
        PlutusV3.ProposalProcedure.2.pd.json:       OK
        PlutusV3.ProposalProcedure.3.pd.json:       OK
        PlutusV3.ProposalProcedure.4.pd.json:       OK
        PlutusV3.ProposalProcedure.5.pd.json:       OK
        PlutusV3.ProposalProcedure.6.pd.json:       OK
        PlutusV3.ProposalProcedure.7.pd.json:       OK
        PlutusV3.ProposalProcedure.8.pd.json:       OK
        PlutusV3.ProposalProcedure.9.pd.json:       OK
      PlutusV3.ScriptPurpose
        PlutusV3.ScriptPurpose.0.pd.json:           OK (0.01s)
        PlutusV3.ScriptPurpose.1.pd.json:           OK
        PlutusV3.ScriptPurpose.2.pd.json:           OK
        PlutusV3.ScriptPurpose.3.pd.json:           OK
        PlutusV3.ScriptPurpose.4.pd.json:           OK
        PlutusV3.ScriptPurpose.5.pd.json:           OK
        PlutusV3.ScriptPurpose.6.pd.json:           OK
        PlutusV3.ScriptPurpose.7.pd.json:           OK
        PlutusV3.ScriptPurpose.8.pd.json:           OK (0.01s)
        PlutusV3.ScriptPurpose.9.pd.json:           OK
      PlutusV3.ScriptInfo
        PlutusV3.ScriptInfo.0.pd.json:              OK
        PlutusV3.ScriptInfo.1.pd.json:              OK
        PlutusV3.ScriptInfo.2.pd.json:              OK
        PlutusV3.ScriptInfo.3.pd.json:              OK
        PlutusV3.ScriptInfo.4.pd.json:              OK
        PlutusV3.ScriptInfo.5.pd.json:              OK (0.01s)
        PlutusV3.ScriptInfo.6.pd.json:              OK
        PlutusV3.ScriptInfo.7.pd.json:              OK (0.01s)
        PlutusV3.ScriptInfo.8.pd.json:              OK
        PlutusV3.ScriptInfo.9.pd.json:              OK
      PlutusV3.TxInInfo
        PlutusV3.TxInInfo.0.pd.json:                OK
        PlutusV3.TxInInfo.1.pd.json:                OK
        PlutusV3.TxInInfo.2.pd.json:                OK
        PlutusV3.TxInInfo.3.pd.json:                OK
        PlutusV3.TxInInfo.4.pd.json:                OK
        PlutusV3.TxInInfo.5.pd.json:                OK
        PlutusV3.TxInInfo.6.pd.json:                OK
        PlutusV3.TxInInfo.7.pd.json:                OK
        PlutusV3.TxInInfo.8.pd.json:                OK
        PlutusV3.TxInInfo.9.pd.json:                OK
      PlutusV3.TxInfo
        PlutusV3.TxInfo.0.pd.json:                  OK (0.08s)
        PlutusV3.TxInfo.1.pd.json:                  OK (0.08s)
        PlutusV3.TxInfo.2.pd.json:                  OK (0.08s)
        PlutusV3.TxInfo.3.pd.json:                  OK (0.07s)
        PlutusV3.TxInfo.4.pd.json:                  OK (0.07s)
        PlutusV3.TxInfo.5.pd.json:                  OK (0.08s)
        PlutusV3.TxInfo.6.pd.json:                  OK (0.07s)
        PlutusV3.TxInfo.7.pd.json:                  OK (0.08s)
        PlutusV3.TxInfo.8.pd.json:                  OK (0.09s)
        PlutusV3.TxInfo.9.pd.json:                  OK (0.08s)
      PlutusV3.ScriptContext
        PlutusV3.ScriptContext.0.pd.json:           OK (0.08s)
        PlutusV3.ScriptContext.1.pd.json:           OK (0.08s)
        PlutusV3.ScriptContext.2.pd.json:           OK (0.07s)
        PlutusV3.ScriptContext.3.pd.json:           OK (0.08s)
        PlutusV3.ScriptContext.4.pd.json:           OK (0.08s)
        PlutusV3.ScriptContext.5.pd.json:           OK (0.08s)
        PlutusV3.ScriptContext.6.pd.json:           OK (0.07s)
        PlutusV3.ScriptContext.7.pd.json:           OK (0.08s)
        PlutusV3.ScriptContext.8.pd.json:           OK (0.07s)
        PlutusV3.ScriptContext.9.pd.json:           OK (0.08s)

All 383 tests passed (4.69s)