byron-spec-ledger-test
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Byron.Spec.Ledger.Core.Generators.Properties

Synopsis

Documentation

relevantKValuesAreGenerated ∷ Property Source #

Coverage test to check that we're generating relevant k values.