| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces
Synopsis
- onlyValidLedgerSignalsAreGenerated ∷ (EraGen era, EraStake era, HasTrace ledger (GenEnv MockCrypto era), BaseEnv ledger ~ Globals, State ledger ~ LedgerState era, Show (Environment ledger), Show (Signal ledger), EraGov era) ⇒ TestTree
- onlyValidChainSignalsAreGenerated ∷ (EraGen era, EraGov era, EraStake era, HasTrace (CHAIN era) (GenEnv MockCrypto era)) ⇒ TestTree
- relevantCasesAreCovered ∷ (EraGen era, EraStake era, ChainProperty era, HasTrace (CHAIN era) (GenEnv MockCrypto era)) ⇒ Int → TestTree
- propAbstractSizeBoundsBytes ∷ (EraGen era, EraGov era, EraStake era, HasTrace (ShelleyLEDGER era) (GenEnv MockCrypto era)) ⇒ Property
- propAbstractSizeNotTooBig ∷ (EraGen era, EraGov era, EraStake era, HasTrace (ShelleyLEDGER era) (GenEnv MockCrypto era)) ⇒ Property
Documentation
onlyValidLedgerSignalsAreGenerated ∷ (EraGen era, EraStake era, HasTrace ledger (GenEnv MockCrypto era), BaseEnv ledger ~ Globals, State ledger ~ LedgerState era, Show (Environment ledger), Show (Signal ledger), EraGov era) ⇒ TestTree Source #
onlyValidChainSignalsAreGenerated ∷ (EraGen era, EraGov era, EraStake era, HasTrace (CHAIN era) (GenEnv MockCrypto era)) ⇒ TestTree Source #
relevantCasesAreCovered ∷ (EraGen era, EraStake era, ChainProperty era, HasTrace (CHAIN era) (GenEnv MockCrypto era)) ⇒ Int → TestTree Source #
propAbstractSizeBoundsBytes ∷ (EraGen era, EraGov era, EraStake era, HasTrace (ShelleyLEDGER era) (GenEnv MockCrypto era)) ⇒ Property Source #
Check that the abstract transaction size function actually bounds the number of bytes in the serialized transaction.
propAbstractSizeNotTooBig ∷ (EraGen era, EraGov era, EraStake era, HasTrace (ShelleyLEDGER era) (GenEnv MockCrypto era)) ⇒ Property Source #
Check that the abstract transaction size function is not off by an acceptable order of magnitude.