hjugement-protocol/tests/Main.hs

   1 module Main where
   2
   3 import System.IO (IO)
   4 import Data.Function (($))
   5 import Test.Tasty
   6 import QuickCheck
   7 import HUnit
   8
   9 main :: IO ()
  10 main =
  11         defaultMain $
  12         testGroup "Protocol"
  13          [ hunits
  14          , quickchecks
  15          ]