cardano-ledger-shelley-test-1.5.0.0: Test helpers from cardano-ledger-shelley exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces

Synopsis

Documentation

onlyValidLedgerSignalsAreGenerated ∷ ∀ era ledger. (EraGen era, HasTrace ledger (GenEnv era), BaseEnv ledger ~ Globals, State ledger ~ LedgerState era, Show (Environment ledger), Show (Signal ledger), EraGov era) ⇒ TestTree Source #

relevantCasesAreCovered ∷ ∀ era. (EraGen era, ChainProperty era, HasTrace (CHAIN era) (GenEnv era)) ⇒ IntTestTree Source #

propAbstractSizeBoundsBytes ∷ ∀ era. (EraGen era, HasTrace (ShelleyLEDGER era) (GenEnv era), EraGov era) ⇒ Property Source #

Check that the abstract transaction size function actually bounds the number of bytes in the serialized transaction.

propAbstractSizeNotTooBig ∷ ∀ era. (EraGen era, HasTrace (ShelleyLEDGER era) (GenEnv era), EraGov era) ⇒ Property Source #

Check that the abstract transaction size function is not off by an acceptable order of magnitude.