Open lehins opened 7 months ago
TriesToForgeADA
OutputBootAddrAttrsTooBig
PredicateFailure
VoidEraRule
OutputTooBigUTxO
Int
Integer
Also #3972 falls into the same category
TriesToForgeADA
for Alonzo https://github.com/IntersectMBO/cardano-ledger/blob/b71cb8b155268fce6ac7cf166ae0e485579d264e/eras/allegra/impl/src/Cardano/Ledger/Allegra/Rules/Utxo.hs#L112TriesToForgeADA
for Alonzo https://github.com/IntersectMBO/cardano-ledger/blob/b71cb8b155268fce6ac7cf166ae0e485579d264e/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Rules/Utxo.hs#L163-L164OutputBootAddrAttrsTooBig
https://github.com/IntersectMBO/cardano-ledger/blob/b71cb8b155268fce6ac7cf166ae0e485579d264e/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Rules/Utxo.hs#L740PredicateFailure
withVoidEraRule
: https://github.com/IntersectMBO/cardano-ledger/issues/4158OutputTooBigUTxO
predicate failure to containInt
, instead ofInteger
: https://github.com/IntersectMBO/cardano-ledger/blob/2c9ba10d085331fa99840a63b40b8e8b716fba5d/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Rules/Utxo.hs#L163-L164