This ticket only lists all of the cases for all of the predicate failures. Every predicate failure that is missing an imp test will need a new ticket created that will track a respective imp test implementation.
Naturally, it is often possible to trigger a predicate failure by differ conditions, but we are not trying to be exhaustive. However, we do need to ensure that all predicate failures have at least one imp test written for them.
Here is also a list of tickets that will put check marks on many of the predicate failures below, once those tests have been transitioned to imp spec: #4180, #4181, #4182, #4183
This task is complete when all have checkmarks and a permalink to at least one imp test that is executed by cardano-ledger-conway test suite.
teodanciu
commented
7 months ago
This ticket only lists all of the cases for all of the predicate failures. Every predicate failure that is missing an imp test will need a new ticket created that will track a respective imp test implementation.
Naturally, it is often possible to trigger a predicate failure by differ conditions, but we are not trying to be exhaustive. However, we do need to ensure that all predicate failures have at least one imp test written for them.
Here is also a list of tickets that will put check marks on many of the predicate failures below, once those tests have been transitioned to imp spec: #4180, #4181, #4182, #4183
This task is complete when all have checkmarks and a permalink to at least one imp test that is executed by
cardano-ledger-conwaytest suite.POOLStakePoolNotRegisteredOnKeyPOOLStakePoolRetirementWrongEpochPOOLStakePoolCostTooLowPOOLWrongNetworkPOOLPoolMedataHashTooBigUTXOBadInputsUTxOOutsideValidityIntervalUTxOMaxTxSizeUTxOInputSetEmptyUTxOFeeTooSmallUTxOValueNotConservedUTxOWrongNetworkWrongNetworkWithdrawalOutputTooSmallUTxOOutputBootAddrAttrsTooBigOutputTooBigUTxOInsufficientCollateralScriptsNotPaidUTxOExUnitsTooBigUTxOCollateralContainsNonADAWrongNetworkInTxBodyOutsideForecastTooManyCollateralInputsNoCollateralInputsIncorrectTotalCollateralFieldBabbageOutputTooSmallUTxOBabbageNonDisjointRefInputsUTXOWInvalidWitnessesUTXOWMissingVKeyWitnessesUTXOWMissingScriptWitnessesUTXOWScriptWitnessNotValidatingUTXOWMissingTxBodyMetadataHashMissingTxBodyMetadataHashConflictingMetadataHashInvalidMetadataExtraneousScriptWitnessesUTXOWMissingRedeemersMissingRequiredDatumsNotAllowedSupplementalDatumsPPViewHashesDontMatchUnspendableUTxONoDatumHashExtraRedeemersMalformedScriptWitnessesMalformedReferenceScriptsUTXOSValidationTagMismatchCollectErrorsGOVCERTConwayDRepAlreadyRegisteredConwayDRepNotRegisteredConwayDRepIncorrectDepositConwayCommitteeHasPreviouslyResignedConwayDRepIncorrectRefundDELEGIncorrectDepositDELEGStakeKeyRegisteredDELEGStakeKeyNotRegisteredDELEGStakeKeyHasNonZeroRewardAccountBalanceDELEGDelegateeNotRegisteredDELEGGOVGovActionsDoNotExistMalformedProposalProposalProcedureNetworkIdMismatchTreasuryWithdrawalsNetworkIdMismatchProposalDepositIncorrectDisallowedVotersConflictingCommitteeUpdateExpirationEpochTooSmallInvalidPrevGovActionIdVotingOnExpiredGovActionProposalCantFollowInvalidPolicyHash