hjugement-protocol/tests/Main.hs

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