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

Modules

• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Alonzo
        Submodules

        •  Test.Cardano.Ledger.Alonzo.Tools
      • Constrained
        Submodules

        •  Test.Cardano.Ledger.Constrained.Ast
        •  Test.Cardano.Ledger.Constrained.Classes
        •  Test.Cardano.Ledger.Constrained.Combinators
        •  Test.Cardano.Ledger.Constrained.Conway
          Submodules

          •  Test.Cardano.Ledger.Constrained.Conway.Cert
          •  Test.Cardano.Ledger.Constrained.Conway.Certs
          •  Test.Cardano.Ledger.Constrained.Conway.Deleg
          •  Test.Cardano.Ledger.Constrained.Conway.Epoch
          •  Test.Cardano.Ledger.Constrained.Conway.Gov
          •  Test.Cardano.Ledger.Constrained.Conway.GovCert
          •  Test.Cardano.Ledger.Constrained.Conway.Instances
            Submodules

            •  Test.Cardano.Ledger.Constrained.Conway.Instances.Basic
            •  Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger
            •  Test.Cardano.Ledger.Constrained.Conway.Instances.Ledgers
            •  Test.Cardano.Ledger.Constrained.Conway.Instances.PParams
            •  Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody
          •  Test.Cardano.Ledger.Constrained.Conway.Ledger
          • LedgerTypes
            Submodules

            •  Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
            •  Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests
            •  Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
          •  Test.Cardano.Ledger.Constrained.Conway.Ledgers
          •  Test.Cardano.Ledger.Constrained.Conway.NewEpoch
          •  Test.Cardano.Ledger.Constrained.Conway.PParams
          •  Test.Cardano.Ledger.Constrained.Conway.ParametricSpec
          •  Test.Cardano.Ledger.Constrained.Conway.Pool
          •  Test.Cardano.Ledger.Constrained.Conway.TxBodySpec
          •  Test.Cardano.Ledger.Constrained.Conway.Utxo
        •  Test.Cardano.Ledger.Constrained.Env
        •  Test.Cardano.Ledger.Constrained.Examples
        •  Test.Cardano.Ledger.Constrained.Lenses
        •  Test.Cardano.Ledger.Constrained.Monad
        •  Test.Cardano.Ledger.Constrained.Pairing
        • Preds
          Submodules

          •  Test.Cardano.Ledger.Constrained.Preds.CertState
          •  Test.Cardano.Ledger.Constrained.Preds.Certs
          •  Test.Cardano.Ledger.Constrained.Preds.LedgerState
          •  Test.Cardano.Ledger.Constrained.Preds.NewEpochState
          •  Test.Cardano.Ledger.Constrained.Preds.PParams
          •  Test.Cardano.Ledger.Constrained.Preds.Repl
          •  Test.Cardano.Ledger.Constrained.Preds.Tx
          •  Test.Cardano.Ledger.Constrained.Preds.TxOut
          •  Test.Cardano.Ledger.Constrained.Preds.UTxO
          •  Test.Cardano.Ledger.Constrained.Preds.Universes
        •  Test.Cardano.Ledger.Constrained.Rewrite
        •  Test.Cardano.Ledger.Constrained.Scripts
        •  Test.Cardano.Ledger.Constrained.Shrink
        •  Test.Cardano.Ledger.Constrained.Size
        •  Test.Cardano.Ledger.Constrained.Solver
        •  Test.Cardano.Ledger.Constrained.Spec
        •  Test.Cardano.Ledger.Constrained.SpecClass
        •  Test.Cardano.Ledger.Constrained.Stage
        •  Test.Cardano.Ledger.Constrained.Tests
        • Trace
          Submodules

          •  Test.Cardano.Ledger.Constrained.Trace.Actions
          •  Test.Cardano.Ledger.Constrained.Trace.DrepCertTx
          •  Test.Cardano.Ledger.Constrained.Trace.Pipeline
          •  Test.Cardano.Ledger.Constrained.Trace.SimpleTx
          •  Test.Cardano.Ledger.Constrained.Trace.Tests
          •  Test.Cardano.Ledger.Constrained.Trace.TraceMonad
        •  Test.Cardano.Ledger.Constrained.TypeRep
        •  Test.Cardano.Ledger.Constrained.Utils
        •  Test.Cardano.Ledger.Constrained.Vars
      •  Test.Cardano.Ledger.EraClass
      • Examples
        Submodules

        •  Test.Cardano.Ledger.Examples.AlonzoAPI
        •  Test.Cardano.Ledger.Examples.AlonzoBBODY
        •  Test.Cardano.Ledger.Examples.AlonzoCollectInputs
        •  Test.Cardano.Ledger.Examples.AlonzoValidTxUTXOW
        •  Test.Cardano.Ledger.Examples.BabbageFeatures
        •  Test.Cardano.Ledger.Examples.STSTestUtils
      • Generic
        Submodules

        •  Test.Cardano.Ledger.Generic.AggPropTests
        •  Test.Cardano.Ledger.Generic.ApplyTx
        •  Test.Cardano.Ledger.Generic.Fields
        •  Test.Cardano.Ledger.Generic.Functions
        •  Test.Cardano.Ledger.Generic.GenState
        •  Test.Cardano.Ledger.Generic.Indexed
        •  Test.Cardano.Ledger.Generic.MockChain
        •  Test.Cardano.Ledger.Generic.ModelState
        •  Test.Cardano.Ledger.Generic.PrettyCore
        •  Test.Cardano.Ledger.Generic.PrettyTest
        •  Test.Cardano.Ledger.Generic.Proof
        •  Test.Cardano.Ledger.Generic.Properties
        •  Test.Cardano.Ledger.Generic.Same
        •  Test.Cardano.Ledger.Generic.Scriptic
        •  Test.Cardano.Ledger.Generic.Trace
        •  Test.Cardano.Ledger.Generic.TxGen
        •  Test.Cardano.Ledger.Generic.Updaters
      •  Test.Cardano.Ledger.NoThunks
      •  Test.Cardano.Ledger.STS
      •  Test.Cardano.Ledger.TestableEra
      •  Test.Cardano.Ledger.Tickf
      •  Test.Cardano.Ledger.ValueFromList