cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Constrained.Utils

Documentation

testIO ∷ String → IO a → TestTree Source #

checkForSoundness ∷ Era era ⇒ [Pred era] → Subst era → Typed (Env era, Maybe String) Source #

explainBad ∷ Era era ⇒ [(String, Bool, Pred era)] → Subst era → String Source #