quickcheck-lockstep-0.7.0: test-internals/Main.hs

module Main (main) where

import           Test.Tasty
import qualified Test.Test.QuickCheck.StateModel.Lockstep.GVar

main :: IO ()
main = defaultMain $ testGroup "quickcheck-lockstep-internals" [
      Test.Test.QuickCheck.StateModel.Lockstep.GVar.tests
    ]