module Main where

import qualified Test.Cardano.Ledger.AddressSpec as AddressSpec
import qualified Test.Cardano.Ledger.BaseTypesSpec as BaseTypesSpec
import qualified Test.Cardano.Ledger.BinarySpec as BinarySpec
import Test.Cardano.Ledger.Common
import qualified Test.Cardano.Ledger.JsonSpec as JsonSpec
import qualified Test.Cardano.Ledger.PlutusSpec as PlutusSpec
import qualified Test.Cardano.Ledger.ToolsSpec as ToolsSpec
import qualified Test.Cardano.Ledger.UMapSpec as UMapSpec

main :: IO ()
IO ()
main =
  Spec -> IO ()
ledgerTestMain (Spec -> IO ()) -> Spec -> IO ()
forall a b. (a -> b) -> a -> b
$
    String -> Spec -> Spec
forall a. HasCallStack => String -> SpecWith a -> SpecWith a
describe String
"Core" (Spec -> Spec) -> Spec -> Spec
forall a b. (a -> b) -> a -> b
$ do
      Spec
AddressSpec.spec
      Spec
BaseTypesSpec.spec
      Spec
BinarySpec.spec
      Spec
JsonSpec.spec
      Spec
UMapSpec.spec
      Spec
PlutusSpec.spec
      Spec
ToolsSpec.spec