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

Jump to bottom

Bump Plutus deps to 1.22.0.0 #4111

Closed
wants to merge 1 commit into from

Bump plutus deps to 1.22

3740b25
Select commit
Loading
Failed to load commit list.
Closed

Bump Plutus deps to 1.22.0.0 #4111

Bump plutus deps to 1.22
3740b25
Select commit
Loading
Failed to load commit list.
IOG Hydra / ci/hydra-build:x86_64-linux.required failed Feb 22, 2024 in 0s

Build dependency failed

1 steps

Details

Failed Steps

Step 1

Derivation

/nix/store/a1pxrrbvx6d7rgwxasisi4c1xbr0v2ad-cardano-ledger-core-test-tests-1.11.0.0-check.drv

Log

unpacking sources
unpacking source archive /nix/store/w2whpb1mx2dmhgwwvx2qig00r3xgwjlw-source-root-libs-cardano-ledger-core-test-tests-root
source root is source-root-libs-cardano-ledger-core-test-tests-root
patching sources
building
/nix/store/brqz880cpsn2gfc6s1qxnwrja6hh3n2r-cardano-ledger-core-test-tests-1.11.0.0/bin:
patching script interpreter paths in /build/tmp.6ildJMrd7a/bin

Core
  BoundedRational
    UnitInterval
      Rational roundtrip
        (boundRational . unboundRational) [✔]
          +++ OK, passed 100 tests.
        (unboundRational . boundRational) [✔]
          +++ OK, passed 100 tests.
        bounding produces valid values within bounds [✔]
          +++ OK, passed 100 tests.
      JSON
        ToJSON/FromJSON roundtrip [✔] (1ms)
          +++ OK, passed 100 tests.
        Roundtrip from valid Scientific and back exactly [✔]
          +++ OK, passed 100 tests.
        Bad Values
          Check divergence [✔]
            +++ OK, passed 1 test.
          Word64 denominator overflow [✔]
          Negative value [✔]
          Too big [✔]
      CBOR roundtrip [✔] (6ms)
        +++ OK, passed 100 tests.
    PositiveUnitInterval
      Rational roundtrip
        (boundRational . unboundRational) [✔]
          +++ OK, passed 100 tests.
        (unboundRational . boundRational) [✔]
          +++ OK, passed 100 tests.
        bounding produces valid values within bounds [✔]
          +++ OK, passed 100 tests.
      JSON
        ToJSON/FromJSON roundtrip [✔] (1ms)
          +++ OK, passed 100 tests.
        Roundtrip from valid Scientific and back exactly [✔]
          +++ OK, passed 100 tests.
        Bad Values
          Check divergence [✔]
            +++ OK, passed 1 test.
          Word64 denominator overflow [✔]
          Negative value [✔]
          Zero [✔]
          Too big [✔]
      CBOR roundtrip [✔] (4ms)
        +++ OK, passed 100 tests.
    PositiveInterval
      Rational roundtrip
        (boundRational . unboundRational) [✔]
          +++ OK, passed 100 tests.
        (unboundRational . boundRational) [✔]
          +++ OK, passed 100 tests.
        bounding produces valid values within bounds [✔]
          +++ OK, passed 100 tests.
      JSON
        ToJSON/FromJSON roundtrip [✔]
          +++ OK, passed 100 tests.
        Roundtrip from valid Scientific and back exactly [✔]
          +++ OK, passed 100 tests.
        Bad Values
          Check divergence [✔]
            +++ OK, passed 1 test.
          Word64 denominator overflow [✔]
          Negative value [✔]
          Zero [✔]
      CBOR roundtrip [✔] (4ms)
        +++ OK, passed 100 tests.
    NonNegativeInterval
      Rational roundtrip
        (boundRational . unboundRational) [✔]
          +++ OK, passed 100 tests.
        (unboundRational . boundRational) [✔]
          +++ OK, passed 100 tests.
        bounding produces valid values within bounds [✔]
          +++ OK, passed 100 tests.
      JSON
        ToJSON/FromJSON roundtrip [✔]
          +++ OK, passed 100 tests.
        Roundtrip from valid Scientific and back exactly [✔]
          +++ OK, passed 100 tests.
        Bad Values
          Check divergence [✔]
            +++ OK, passed 1 test.
          Word64 denominator overflow [✔]
          Negative value [✔]
      CBOR roundtrip [✔] (3ms)
        +++ OK, passed 100 tests.
  RoundTrip
    Coin [✔]
      +++ OK, passed 100 tests.
    CompactForm Coin [✔] (1ms)
      +++ OK, passed 100 tests.
    Encode CompactCoin - Decode Coin [✔] (1ms)
      +++ OK, passed 100 tests.
    Encode Coin - Decode CompactCoin [✔] (1ms)
      +++ OK, passed 100 tests.
    ProtVer [✔] (1ms)
      +++ OK, passed 100 tests.
    Nonce [✔] (1ms)
      +++ OK, passed 100 tests.
    Url [✔] (1ms)
      +++ OK, passed 100 tests.
    DnsName [✔]
      +++ OK, passed 100 tests.
    Port [✔]
      +++ OK, passed 100 tests.
    ActiveSlotCoeff [✔] (149ms)
      +++ OK, passed 100 tests.
    Network [✔] (1ms)
      +++ OK, passed 100 tests.
    BlocksMade StandardCrypto [✔] (31ms)
      +++ OK, passed 100 tests.
    TxIx [✔]
      +++ OK, passed 100 tests.
    CertIx [✔]
      +++ OK, passed 100 tests.
    Anchor StandardCrypto [✔] (2ms)
      +++ OK, passed 100 tests.
    Address
      CompactAddr
        CompactAddr StandardCrypto [✔] (5ms)
          +++ OK, passed 100 tests.
        compactAddr/decompactAddr round trip [✔] (2ms)
          +++ OK, passed 100 tests.
        Compact address binary representation [✔] (2ms)
          +++ OK, passed 100 tests.
        Ensure Addr failures on incorrect binary data [✔] (2ms)
          +++ OK, passed 100 tests.
        Ensure RewardAcnt failures on incorrect binary data [✔]
          +++ OK, passed 100 tests.
        RoundTrip-invalid [✔] (3ms)
          +++ OK, passed 100 tests.
        Decompact addr with junk [✔] (4ms)
          +++ OK, passed 100 tests.
        Same as old decompactor [✔] (2ms)
          +++ OK, passed 100 tests.
        fail on extraneous bytes [✔]
      Addr
        Addr StandardCrypto [✔] (6ms)
          +++ OK, passed 100 tests.
        RoundTrip-invalid [✔] (4ms)
          +++ OK, passed 100 tests.
        Deserializing an address matches old implementation [✔] (2ms)
          +++ OK, passed 100 tests.
      RewardAcnt
        RewardAccount StandardCrypto [✔] (2ms)
          +++ OK, passed 100 tests.
    BootstrapWitness StandardCrypto [✔] (3ms)
      +++ OK, passed 100 tests.
    TxId StandardCrypto [✔] (1ms)
      +++ OK, passed 100 tests.
    GenDelegPair StandardCrypto [✔] (2ms)
      +++ OK, passed 100 tests.
    GenDelegs StandardCrypto [✔] (60ms)
      +++ OK, passed 100 tests.
    DRepState StandardCrypto [✔] (4ms)
      +++ OK, passed 100 tests.
    DRep StandardCrypto [✔] (1ms)
      +++ OK, passed 100 tests.
    RDPair [✔] (1ms)
      +++ OK, passed 100 tests.
    ScriptHash StandardCrypto [✔] (1ms)
      +++ OK, passed 100 tests.
    SafeHash StandardCrypto EraIndependentData [✔] (1ms)
      +++ OK, passed 100 tests.
    CostModelError [✔] (2ms)
      +++ OK, passed 100 tests.
  RoundTrip JSON
    Coin [✔]
      +++ OK, passed 100 tests.
    ProtVer [✔]
      +++ OK, passed 100 tests.
    Nonce [✔]
      +++ OK, passed 100 tests.
    Url [✔]
      +++ OK, passed 100 tests.
    DnsName [✔]
      +++ OK, passed 100 tests.
    Port [✔]
      +++ OK, passed 100 tests.
    Network [✔]
      +++ OK, passed 100 tests.
    EpochInterval [✔]
      +++ OK, passed 100 tests.
    CostModels [✘] (21ms)
    PoolMetadata [✔]
      +++ OK, passed 100 tests.
    StakePoolRelay [✔]
      +++ OK, passed 100 tests.
    PoolParams StandardCrypto [✔] (18ms)
      +++ OK, passed 100 tests.
    Addr StandardCrypto [✔] (2ms)
      +++ OK, passed 100 tests.
    RewardAccount StandardCrypto [✔]
      +++ OK, passed 100 tests.
    Credential 'Witness StandardCrypto [✔]
      +++ OK, passed 100 tests.
    DRep StandardCrypto [✔]
      +++ OK, passed 100 tests.
    Anchor StandardCrypto [✔]
      +++ OK, passed 100 tests.
    TxId StandardCrypto [✔]
      +++ OK, passed 100 tests.
  UMap
    Invariant
      Empty [✔]
        +++ OK, passed 100 tests.
      Non-empty [✔] (17ms)
        +++ OK, passed 100 tests.
      Non-empty with insert and delete actions [‐]
        # PENDING: No reason given
    Unify roundtrip
      To [✔] (20ms)
        +++ OK, passed 100 tests.
      From [✔] (4ms)
        +++ OK, passed 100 tests.
    Insert-delete roundtrip
      RDPair [✔] (21ms)
        +++ OK, passed 100 tests.
      PtrUView [✔] (21ms)
        +++ OK, passed 100 tests.
      SPoolUView [✔] (34ms)
        +++ OK, passed 100 tests.
      DRepUView [✔] (21ms)
        +++ OK, passed 100 tests.
    Size [✔] (26ms)
      +++ OK, passed 100 tests.
    Membership
      RewDepUView [✔] (77ms)
        +++ OK, passed 100 tests.
      PtrUViews [✔] (4ms)
        +++ OK, passed 100 tests.
      SPoolUView [✔] (59ms)
        +++ OK, passed 100 tests.
      DRepUView [✔] (63ms)
        +++ OK, passed 100 tests.
    Bisimulation
      RewDepUView [✔] (4ms)
        +++ OK, passed 100 tests.
      PtrUView [✔] (3ms)
        +++ OK, passed 100 tests.
      SPoolUView [✔] (4ms)
        +++ OK, passed 100 tests.
      DRepUView [✔] (3ms)
        +++ OK, passed 100 tests.
    Null
      RewDepUView [✔] (3ms)
        +++ OK, passed 100 tests.
      PtrUView [✔] (3ms)
        +++ OK, passed 100 tests.
      SPoolUView [✔] (3ms)
        +++ OK, passed 100 tests.
      DRepUView [✔] (3ms)
        +++ OK, passed 100 tests.
    Lookup
      RewDepUView [✔] (3ms)
        +++ OK, passed 100 tests.
      PtruView [✔] (3ms)
        +++ OK, passed 100 tests.
      SPoolUView [✔] (4ms)
        +++ OK, passed 100 tests.
      DRepUView [✔] (4ms)
        +++ OK, passed 100 tests.
    Domain
      RewDepUView [✔] (3ms)
        +++ OK, passed 100 tests.
      PtrUView [✔] (3ms)
        +++ OK, passed 100 tests.
      SPoolUView [✔] (3ms)
        +++ OK, passed 100 tests.
      DRepUView [✔] (3ms)
        +++ OK, passed 100 tests.
    Range
      RewDepUView [✔] (3ms)
        +++ OK, passed 100 tests.
      PtrUView [✔] (3ms)
        +++ OK, passed 100 tests.
      SPoolUView [✔] (3ms)
        +++ OK, passed 100 tests.
      DRepUView [✔] (3ms)
        +++ OK, passed 100 tests.
    Union (left preference)
      RewDepUView [✔] (4ms)
        +++ OK, passed 100 tests.
      PtrUView [✔] (3ms)
        +++ OK, passed 100 tests.
      SPoolUView [✔] (4ms)
        +++ OK, passed 100 tests.
      DRepUView [✔] (3ms)
        +++ OK, passed 100 tests.
    Union (right preference)
      RewDepUView (domain of map on the right has to be subset of RewDepUView View) [✔] (23ms)
        +++ OK, passed 100 tests.
      PtrUView [✔] (8ms)
        +++ OK, passed 100 tests.
      SPoolUView [✔] (6ms)
        +++ OK, passed 100 tests.
      DRepUView [✔] (11ms)
        +++ OK, passed 100 tests.
    Monoidal Rewards (domain of map on the right has to be subset of RewDepUView View) [✔] (24ms)
      +++ OK, passed 100 tests.
    Domain exclusion
      RewDepUView [✔] (6ms)
        +++ OK, passed 100 tests.
      PtrUView [✔] (5ms)
        +++ OK, passed 100 tests.
      SPoolUView [✔] (5ms)
        +++ OK, passed 100 tests.
      DRepUView [✔] (6ms)
        +++ OK, passed 100 tests.
    Range exclusion
      RewDepUView [✔] (6ms)
        +++ OK, passed 100 tests.
      PtrUView [✔] (6ms)
        +++ OK, passed 100 tests.
      SPoolUView [✔] (4ms)
        +++ OK, passed 100 tests.
      DRepUView [✔] (4ms)
        +++ OK, passed 100 tests.
    Domain restriction
      RewDepUView [✔] (5ms)
        +++ OK, passed 100 tests.
      PtrUView [✔] (5ms)
        +++ OK, passed 100 tests.
      SPoolUView [✔] (6ms)
        +++ OK, passed 100 tests.
      DRepUView [✔] (5ms)
        +++ OK, passed 100 tests.
    Old and new implementation is equivalent
      unionRewAgg or ∪+ === oldUnionRewAgg [✔] (24ms)
        +++ OK, passed 100 tests.
    StakeCredentials
      toStakeCredentials as full domRestrictedStakeCredentials [✔] (22ms)
        +++ OK, passed 100 tests.
      domRestrictedStakeCredentials [✔] (23ms)
        +++ OK, passed 100 tests.
      domRestrictedStakeCredentials with domRestrictedMap [✔] (23ms)
        +++ OK, passed 100 tests.
  CostModels
    flattenCostModels . mkCostModelsLenient [✘]
  roundtrip ToPlutusData
    Version [✔]
      +++ OK, passed 100 tests.
    Word [✔]
      +++ OK, passed 100 tests.
    Word8 [✔]
      +++ OK, passed 100 tests.
    Word16 [✔]
      +++ OK, passed 100 tests.
    Word32 [✔]
      +++ OK, passed 100 tests.
    [Word] [✔]
      +++ OK, passed 100 tests.
    [Word8] [✔]
      +++ OK, passed 100 tests.
    Map Word Version [✔]
      +++ OK, passed 100 tests.
    Coin [✔]
      +++ OK, passed 100 tests.
    ExUnits [✔]
      +++ OK, passed 100 tests.
    Prices [✔]
      +++ OK, passed 100 tests.
    Natural [✔]
      +++ OK, passed 100 tests.
    UnitInterval [✔]
      +++ OK, passed 100 tests.
    EpochInterval [✔]
      +++ OK, passed 100 tests.
    NonNegativeInterval [✔]
      +++ OK, passed 100 tests.
    ProtVer [✔]
      +++ OK, passed 100 tests.
    CostModels [✘] (21ms)
    Integer [✔]
      +++ OK, passed 100 tests.

Failures:

  test/Test/Cardano/Ledger/JsonSpec.hs:31:5: 
  1) Core, RoundTrip JSON, CostModels
       uncaught exception: ErrorCall
       Corrupt cost model: CMTooFewParamsError {cmTooFewExpected = 233, cmTooFewActual = 223}
       CallStack (from HasCallStack):
         error, called at testlib/Test/Cardano/Ledger/Core/Arbitrary.hs:820:19 in cardano-ledger-core-1.11.0.0-L7svujASzP8HD6572YQinb-testlib:Test.Cardano.Ledger.Core.Arbitrary
       (after 4 tests)
         Exception thrown while showing test case:
           Corrupt cost model: CMTooFewParamsError {cmTooFewExpected = 233, cmTooFewActual = 223}
           CallStack (from HasCallStack):
             error, called at testlib/Test/Cardano/Ledger/Core/Arbitrary.hs:820:19 in cardano-ledger-core-1.11.0.0-L7svujASzP8HD6572YQinb-testlib:Test.Cardano.Ledger.Core.Arbitrary
         

  To rerun use: --match "/Core/RoundTrip JSON/CostModels/" --seed 1299503037

  test/Test/Cardano/Ledger/PlutusSpec.hs:54:5: 
  2) Core.CostModels flattenCostModels . mkCostModelsLenient
       uncaught exception: ErrorCall
       Corrupt cost model: CMTooFewParamsError {cmTooFewExpected = 233, cmTooFewActual = 223}
       CallStack (from HasCallStack):
         error, called at testlib/Test/Cardano/Ledger/Core/Arbitrary.hs:820:19 in cardano-ledger-core-1.11.0.0-L7svujASzP8HD6572YQinb-testlib:Test.Cardano.Ledger.Core.Arbitrary
       (after 3 tests)
         Exception thrown while showing test case:
           Corrupt cost model: CMTooFewParamsError {cmTooFewExpected = 233, cmTooFewActual = 223}
           CallStack (from HasCallStack):
             error, called at testlib/Test/Cardano/Ledger/Core/Arbitrary.hs:820:19 in cardano-ledger-core-1.11.0.0-L7svujASzP8HD6572YQinb-testlib:Test.Cardano.Ledger.Core.Arbitrary
         
         fromList []

  To rerun use: --match "/Core/CostModels/flattenCostModels . mkCostModelsLenient/" --seed 1299503037

  test/Test/Cardano/Ledger/PlutusSpec.hs:48:5: 
  3) Core, roundtrip ToPlutusData, CostModels
       uncaught exception: ErrorCall
       Corrupt cost model: CMTooFewParamsError {cmTooFewExpected = 233, cmTooFewActual = 223}
       CallStack (from HasCallStack):
         error, called at testlib/Test/Cardano/Ledger/Core/Arbitrary.hs:820:19 in cardano-ledger-core-1.11.0.0-L7svujASzP8HD6572YQinb-testlib:Test.Cardano.Ledger.Core.Arbitrary
       (after 4 tests)
         Exception thrown while showing test case:
           Corrupt cost model: CMTooFewParamsError {cmTooFewExpected = 233, cmTooFewActual = 223}
           CallStack (from HasCallStack):
             error, called at testlib/Test/Cardano/Ledger/Core/Arbitrary.hs:820:19 in cardano-ledger-core-1.11.0.0-L7svujASzP8HD6572YQinb-testlib:Test.Cardano.Ledger.Core.Arbitrary
         

  To rerun use: --match "/Core/roundtrip ToPlutusData/CostModels/" --seed 1299503037

Randomized with seed 1299503037

Finished in 1.1358 seconds
174 examples, 3 failures, 1 pending
View more details on IOG Hydra