Bump Plutus deps to 1.22.0.0 #4111
Closed
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
Loading