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.

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

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.ghc962.checks.cardano-ledger-alonzo:test:tests failed Feb 22, 2024 in 34s

Build failed

1 steps

Details

Failed Steps

Step 1

Derivation

/nix/store/jsjj86k1aw8zrzr3xraqqg67a317sd6v-cardano-ledger-alonzo-test-tests-1.7.0.0-check.drv

Log

unpacking sources
unpacking source archive /nix/store/30wp537w9hbzj3n9lwzqw4h0k2sy1c0i-source-root-eras-alonzo-impl-test-tests-root
source root is source-root-eras-alonzo-impl-test-tests-root
patching sources
building
/nix/store/dcshj6r45gmmhbdn4r6j3wr7yaz1lfpd-cardano-ledger-alonzo-test-tests-1.7.0.0/bin:
patching script interpreter paths in /build/tmp.Zoc08AAbdd/bin

Alonzo
  Upgrade from Mary to Alonzo
    upgradeTxOut is preserved through serialization [✔] (8ms)
      +++ OK, passed 100 tests.
    upgradeTxCert is preserved through serialization [✔] (3ms)
      +++ OK, passed 100 tests.
    upgradeTxAuxData is preserved through serialization [✔] (6ms)
      +++ OK, passed 100 tests.
    upgradeTxWits is preserved through serialization [✔] (217ms)
      +++ OK, passed 100 tests.
    upgradeTxBody is preserved through serialization [✔] (266ms)
      +++ OK, passed 100 tests.
  RoundTrip
    Alonzo era types
      Data (AlonzoEra StandardCrypto) [✔] (2ms)
        +++ OK, passed 100 tests.
      BinaryData (AlonzoEra StandardCrypto) [✔] (1ms)
        +++ OK, passed 100 tests.
      Datum doesn't roundtrip
        Datum (AlonzoEra StandardCrypto) [‐]
          # PENDING: No reason given
    Core Type Families
      MaryValue StandardCrypto [✔] (79ms)
        +++ OK, passed 100 tests.
      CompactForm (MaryValue StandardCrypto) [✔] (378ms)
        +++ OK, passed 100 tests.
      AlonzoTxOut (AlonzoEra StandardCrypto) [✔] (9ms)
        +++ OK, passed 100 tests.
      ShelleyTxCert (AlonzoEra StandardCrypto) [✔] (5ms)
        +++ OK, passed 100 tests.
      PParams (AlonzoEra StandardCrypto) [✘] (6ms)
      PParamsUpdate (AlonzoEra StandardCrypto) [✘] (37ms)
      BootstrapWitness StandardCrypto [✔] (3ms)
        +++ OK, passed 100 tests.
      AlonzoScript (AlonzoEra StandardCrypto) [✔] (2ms)
        +++ OK, passed 100 tests.
      AlonzoTxAuxData (AlonzoEra StandardCrypto) [✔] (79ms)
        +++ OK, passed 100 tests.
      AlonzoTxWits (AlonzoEra StandardCrypto) [✔] (323ms)
        +++ OK, passed 100 tests.
      AlonzoTxBody (AlonzoEra StandardCrypto) [✔] (310ms)
        +++ OK, passed 100 tests.
      AlonzoTx (AlonzoEra StandardCrypto) [✔] (716ms)
        +++ OK, passed 100 tests.
    Core State Types
      SnapShots StandardCrypto [✔] (2971ms)
        +++ OK, passed 100 tests.
      DState (AlonzoEra StandardCrypto) [✔] (303ms)
        +++ OK, passed 100 tests.
      PState (AlonzoEra StandardCrypto) [✔] (1687ms)
        +++ OK, passed 100 tests.
      CommitteeState (AlonzoEra StandardCrypto) [✔] (14ms)
        +++ OK, passed 100 tests.
      VState (AlonzoEra StandardCrypto) [✔] (43ms)
        +++ OK, passed 100 tests.
      CertState (AlonzoEra StandardCrypto) [✔] (2091ms)
        +++ OK, passed 100 tests.
      UTxO (AlonzoEra StandardCrypto) [✔] (246ms)
        +++ OK, passed 100 tests.
    State Types Families
      ShelleyGovState (AlonzoEra StandardCrypto) [✘] (6ms)
    State Types
      UTxOState (AlonzoEra StandardCrypto) [✘] (4ms)
      EpochState (AlonzoEra StandardCrypto) [✘] (4ms)
      NewEpochState (AlonzoEra StandardCrypto) [✘] (9ms)
    AlonzoGenesis [✘] (6ms)
    CostModels [✘] (92ms)
  CDDL
    coin: MaryValue StandardCrypto [✔] (2005ms)
    transaction_body: Annotator (MemoBytes AlonzoTxBodyRaw (AlonzoEra StandardCrypto)) [✔] (2121ms)
    auxiliary_data: Annotator (MemoBytes AlonzoTxAuxDataRaw (AlonzoEra StandardCrypto)) [✔] (1955ms)
    native_script: Annotator (MemoBytes TimelockRaw (AlonzoEra StandardCrypto)) [✔] (1933ms)
    plutus_data: Annotator (MemoBytes PlutusData (AlonzoEra StandardCrypto)) [✔] (2347ms)
    transaction_output: AlonzoTxOut (AlonzoEra StandardCrypto) [✔] (1868ms)
    transaction_witness_set: Annotator (MemoBytes AlonzoTxWitsRaw (AlonzoEra StandardCrypto)) [✔] (2617ms)
    protocol_param_update: AlonzoPParams StrictMaybe (AlonzoEra StandardCrypto) [✔] (1909ms)
    [* redeemer]: Annotator (MemoBytes RedeemersRaw (AlonzoEra StandardCrypto)) [✔] (1917ms)
    transaction: Annotator (AlonzoTx (AlonzoEra StandardCrypto)) [✔] (3086ms)
    costmdls: CostModels [✔] (1938ms)
  Alonzo
    RoundTrip JSON
      PParams (AlonzoEra StandardCrypto) [✘] (5ms)
  Imp
    ShelleyImpSpec
      LEDGER
        Transactions update UTxO [✔] (8ms)
      EPOCH
        Runs basic transaction [✔] (1ms)
        Crosses the epoch boundary [✔] (1ms)
    AlonzoImpTest
      UTXOS
        Plutus script transactions are fixed up [✔] (3ms)
  CostModels
    CBOR deserialization
      valid CostModels deserialize correctly, both independently and within PParamsUpdate [✘] (17ms)
      invalid CostModels fail within PParamsUpdate [✔] (2ms)
        +++ OK, passed 100 tests.
      unknown CostModels deserialize correctly within PParamsUpdate starting with Conway [✔]
        +++ OK, passed 100 tests.
    applyPPUpdates [✘] (12ms)
  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.

Failures:

  testlib/Test/Cardano/Ledger/Core/Binary/RoundTrip.hs:44:3: 
  1) Alonzo.RoundTrip, Core Type Families, PParams (AlonzoEra StandardCrypto)
       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 1 test)
         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 "/Alonzo/RoundTrip/Core Type Families/PParams (AlonzoEra StandardCrypto)/" --seed 9603020

  testlib/Test/Cardano/Ledger/Core/Binary/RoundTrip.hs:44:3: 
  2) Alonzo.RoundTrip, Core Type Families, PParamsUpdate (AlonzoEra StandardCrypto)
       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
         

  To rerun use: --match "/Alonzo/RoundTrip/Core Type Families/PParamsUpdate (AlonzoEra StandardCrypto)/" --seed 9603020

  testlib/Test/Cardano/Ledger/Core/Binary/RoundTrip.hs:126:3: 
  3) Alonzo.RoundTrip, State Types Families, ShelleyGovState (AlonzoEra StandardCrypto)
       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 1 test)
         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 "/Alonzo/RoundTrip/State Types Families/ShelleyGovState (AlonzoEra StandardCrypto)/" --seed 9603020

  testlib/Test/Cardano/Ledger/Core/Binary/RoundTrip.hs:147:3: 
  4) Alonzo.RoundTrip, State Types, UTxOState (AlonzoEra StandardCrypto)
       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 1 test and 3 shrinks)
         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 "/Alonzo/RoundTrip/State Types/UTxOState (AlonzoEra StandardCrypto)/" --seed 9603020

  testlib/Test/Cardano/Ledger/Core/Binary/RoundTrip.hs:81:3: 
  5) Alonzo.RoundTrip, State Types, EpochState (AlonzoEra StandardCrypto)
       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 1 test and 6 shrinks)
         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 "/Alonzo/RoundTrip/State Types/EpochState (AlonzoEra StandardCrypto)/" --seed 9603020

  testlib/Test/Cardano/Ledger/Core/Binary/RoundTrip.hs:81:3: 
  6) Alonzo.RoundTrip, State Types, NewEpochState (AlonzoEra StandardCrypto)
       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 1 test)
         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 "/Alonzo/RoundTrip/State Types/NewEpochState (AlonzoEra StandardCrypto)/" --seed 9603020

  testlib/Test/Cardano/Ledger/Core/Binary/RoundTrip.hs:44:3: 
  7) Alonzo.RoundTrip AlonzoGenesis
       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 1 test)
         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 "/Alonzo/RoundTrip/AlonzoGenesis/" --seed 9603020

  testlib/Test/Cardano/Ledger/Core/Binary/RoundTrip.hs:44:3: 
  8) Alonzo.RoundTrip 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 "/Alonzo/RoundTrip/CostModels/" --seed 9603020

  test/Main.hs:22:7: 
  9) Alonzo.Alonzo, RoundTrip JSON, PParams (AlonzoEra StandardCrypto)
       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 1 test)
         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 "/Alonzo/Alonzo/RoundTrip JSON/PParams (AlonzoEra StandardCrypto)/" --seed 9603020

  testlib/Test/Cardano/Ledger/Alonzo/Binary/CostModelsSpec.hs:59:15: 
  10) Alonzo.CostModels, CBOR deserialization, valid CostModels deserialize correctly, both independently and within PParamsUpdate
       Falsifiable (after 3 tests):
         PlutusV3
         [TkMapLen 1,TkInt 2,TkListBegin,TkInt 2,TkInt 0,TkInt 0,TkInt 1,TkInt (-1),TkInt 1,TkInt 0,TkInt 0,TkInt (-2),TkInt (-1),TkInt (-2),TkInt 0,TkInt 2,TkInt (-2),TkInt 2,TkInt (-1),TkInt 0,TkInt (-2),TkInt 1,TkInt 2,TkInt 2,TkInt 1,TkInt (-1),TkInt (-2),TkInt 2,TkInt 2,TkInt (-2),TkInt 0,TkInt 2,TkInt 0,TkInt 2,TkInt 0,TkInt 2,TkInt 1,TkInt (-2),TkInt (-1),TkInt (-2),TkInt 1,TkInt 2,TkInt 1,TkInt 1,TkInt 2,TkInt 0,TkInt (-1),TkInt 1,TkInt 2,TkInt 0,TkInt 1,TkInt (-2),TkInt 1,TkInt 1,TkInt (-1),TkInt (-2),TkInt (-2),TkInt 0,TkInt (-2),TkInt 1,TkInt (-1),TkInt 2,TkInt 1,TkInt 1,TkInt 1,TkInt 2,TkInt 1,TkInt 2,TkInt 2,TkInt (-1),TkInt (-1),TkInt (-2),TkInt 1,TkInt (-2),TkInt 2,TkInt (-1),TkInt (-2),TkInt 1,TkInt (-1),TkInt (-2),TkInt 1,TkInt (-1),TkInt (-1),TkInt (-1),TkInt 1,TkInt 1,TkInt (-1),TkInt 0,TkInt 2,TkInt 1,TkInt 2,TkInt 1,TkInt (-1),TkInt 1,TkInt (-2),TkInt 1,TkInt 1,TkInt (-1),TkInt 0,TkInt (-2),TkInt 2,TkInt (-2),TkInt 0,TkInt 2,TkInt 0,TkInt 2,TkInt 2,TkInt (-2),TkInt (-1),TkInt (-1),TkInt 1,TkInt (-2),TkInt 2,TkInt 2,TkInt 2,TkInt 1,TkInt (-1),TkInt (-1),TkInt 2,TkInt 1,TkInt 1,TkInt 0,TkInt 2,TkInt 1,TkInt 1,TkInt 0,TkInt (-1),TkInt 2,TkInt 2,TkInt 0,TkInt 1,TkInt (-1),TkInt 1,TkInt (-2),TkInt 1,TkInt (-2),TkInt 2,TkInt (-2),TkInt (-2),TkInt (-1),TkInt 2,TkInt 2,TkInt 2,TkInt (-1),TkInt 1,TkInt 0,TkInt (-2),TkInt (-2),TkInt (-1),TkInt 1,TkInt (-2),TkInt 2,TkInt 1,TkInt (-1),TkInt 2,TkInt (-2),TkInt 1,TkInt 1,TkInt 0,TkInt (-2),TkInt 2,TkInt 2,TkInt 1,TkInt 1,TkInt 1,TkInt (-1),TkInt (-1),TkInt (-1),TkInt 0,TkInt 0,TkInt (-2),TkInt (-2),TkInt 0,TkInt (-1),TkInt 0,TkInt (-1),TkInt 0,TkInt 1,TkInt (-1),TkInt (-1),TkInt 2,TkInt 1,TkInt (-2),TkInt 0,TkInt 2,TkInt 0,TkInt 2,TkInt 1,TkInt (-2),TkInt 0,TkInt 0,TkInt 2,TkInt 2,TkInt (-1),TkInt 0,TkInt 1,TkInt 2,TkInt (-1),TkInt 0,TkInt 2,TkInt (-1),TkInt 1,TkInt (-2),TkInt 2,TkInt (-2),TkInt 0,TkInt (-1),TkInt 2,TkInt 1,TkInt 0,TkInt 1,TkInt 2,TkInt 0,TkInt 0,TkInt 2,TkInt (-2),TkInt 0,TkInt (-2),TkInt (-1),TkInt (-1),TkInt 1,TkInt 1,TkInt 2,TkInt (-2),TkInt 2,TkInt 2,TkBreak]
       Expected Right, got Left:
       DecoderErrorDeserialiseFailure "CostModels" (DeserialiseFailure 227 "CMTooFewParamsError {cmTooFewExpected = 233, cmTooFewActual = 223}")

  To rerun use: --match "/Alonzo/CostModels/CBOR deserialization/valid CostModels deserialize correctly, both independently and within PParamsUpdate/" --seed 9603020

  testlib/Test/Cardano/Ledger/Alonzo/Binary/CostModelsSpec.hs:30:3: 
  11) Alonzo.CostModels applyPPUpdates
       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 1 test)
         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
         
         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 []
         fromList []

  To rerun use: --match "/Alonzo/CostModels/applyPPUpdates/" --seed 9603020

Randomized with seed 9603020

Finished in 33.7069 seconds
56 examples, 11 failures, 1 pending