Modulecardano-ledger-shelley-test-1.9.0.0Haskell2010

Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces

5 values

Packagecardano-ledger-shelley-test-1.9.0.0
Exports5
LanguageHaskell2010
LicenceApache-2.0
SourceClassifyTraces.hs

value

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

value

onlyValidChainSignalsAreGenerated :: (EraGen era, EraGov era, EraStake era, HasTrace (CHAIN era) (GenEnv MockCrypto era)) => TestTree

valuerelevantCasesAreCovered

:: (EraGen era, EraStake era, ChainProperty era, HasTrace (CHAIN era) (GenEnv MockCrypto era))
=> Int
-> TestTree

value

propAbstractSizeBoundsBytes :: (EraGen era, EraGov era, EraStake era, HasTrace (LEDGER era) (GenEnv MockCrypto era)) => Property

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

value

propAbstractSizeNotTooBig :: (EraGen era, EraGov era, EraStake era, HasTrace (LEDGER era) (GenEnv MockCrypto era)) => Property

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