module Main where

import System.IO (IO)
import Data.Function (($))
import Test.Tasty
-- import QuickCheck
import HUnit

main :: IO ()
main =
	defaultMain $
	testGroup "Protocol"
	 [ hunits
	 -- , quickchecks
	 ]