Test.Cardano.Ledger.Mary.Examples
testMaryNoDelegLEDGER ∷ HasCallStack ⇒ UTxO MaryEra → Tx 'TopTx MaryEra → LedgerEnv MaryEra → Either (NonEmpty (PredicateFailure (LEDGER MaryEra))) (UTxO MaryEra) → Assertion Source #