module Main (
  main,
) where

import qualified Test.Cardano.Ledger.CanonicalState.Spec
import Test.Cardano.Ledger.Common

main :: IO ()
IO ()
main = Spec -> IO ()
ledgerTestMain (Spec -> IO ()) -> Spec -> IO ()
forall a b. (a -> b) -> a -> b
$ do
  Test.Cardano.Ledger.CanonicalState.Spec.spec