cardano-ledger-alonzo-1.12.0.0: Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Alonzo.Imp.UtxoSpec

Documentation

spec ∷ ∀ era. (AlonzoEraImp era, InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure era) ⇒ SpecWith (ImpTestState era) Source #