hjugement-protocol-0.0.8.20191027: tests/Main.hs

module Main where

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

main :: IO ()
main =
	defaultMain $
	reify stableVersion $ \v ->
	testGroup "Voting.Protocol"
	 [ hunits v
	 , quickchecks v
	 ]