module Main (main) where

import Test.Tasty

import qualified MindTest

main :: IO ()
main = defaultMain $ testGroup "all tests" $
  [ MindTest.suite
  ]