cardano-ledger-shelley-1.14.1.0: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Imp.UtxoSpec

Documentation

spec ∷ (ShelleyEraImp era, InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure era) ⇒ SpecWith (ImpTestState era) Source #