{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeApplications #-}

module Main (main) where

import Test.Cardano.Ledger.Common
import qualified Test.Cardano.Ledger.Conformance.ConformanceSpec as ConformanceSpec
import qualified Test.Cardano.Ledger.Conformance.Spec.Conway as Conway

main :: IO ()
IO ()
main =
  Spec -> IO ()
ledgerTestMain forall a b. (a -> b) -> a -> b
$ do
    forall a. HasCallStack => String -> SpecWith a -> SpecWith a
describe String
"ConformanceSpec" forall a b. (a -> b) -> a -> b
$ Spec
ConformanceSpec.spec
    forall a. HasCallStack => String -> SpecWith a -> SpecWith a
describe String
"Conway" forall a b. (a -> b) -> a -> b
$ Spec
Conway.spec