Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Byron.Spec.Ledger.Update.Properties

Synopsis

upiregTracesAreClassified ∷ Property
upiregRelevantTracesAreCovered ∷ Property
onlyValidSignalsAreGenerated ∷ Property
ublockTraceLengthsAreClassified ∷ Property
ublockOnlyValidSignalsAreGenerated ∷ HasCallStack ⇒ Property
ublockRelevantTracesAreCovered ∷ Property
ublockSampleTraceMetrics ∷ Word64 → IO ()

Documentation

upiregTracesAreClassified ∷ Property Source #

upiregRelevantTracesAreCovered ∷ Property Source #

onlyValidSignalsAreGenerated ∷ Property Source #

ublockTraceLengthsAreClassified ∷ Property Source #

ublockOnlyValidSignalsAreGenerated ∷ HasCallStack ⇒ Property Source #

ublockRelevantTracesAreCovered ∷ Property Source #

ublockSampleTraceMetrics ∷ Word64 → IO () Source #

Sample a UBLOCK trace, and print different metrics. This can be used in the REPL, and it is useful for understanding the traces produced by the UBLOCK transition system.