quickcheck-dynamic-3.3.1: test/Spec.hs

{-# LANGUAGE OverloadedStrings #-}

module Main (main) where

import Spec.DynamicLogic.RegistryModel qualified
import Test.Tasty

main :: IO ()
main = defaultMain tests

tests :: TestTree
tests =
  testGroup
    "dynamic logic"
    [ Spec.DynamicLogic.RegistryModel.tests
    ]