byron-spec-ledger-0.1.0.0: Executable specification of Cardano ledger
Safe HaskellNone
LanguageHaskell2010

Byron.Spec.Ledger.Update.Test

Synopsis

Documentation

coverUpiregFailures Source #

Arguments

:: forall m a. (MonadTest m, HasCallStack, Data a) 
=> CoverPercentage

Minimum percentage that each failure must occur.

-> a

Structure containing the failures

-> m () 

Check that all the relevant predicate failures are covered.