hjugement-protocol/tests/HUnit.hs

   1 module HUnit where
   2 import Test.Tasty
   3 import Voting.Protocol
   4 import qualified HUnit.FFC
   5 import qualified HUnit.Credential
   6 import qualified HUnit.Election
   7 import qualified HUnit.Trustee
   8
   9 hunits :: Reifies v Version => Proxy v -> TestTree
  10 hunits v =
  11         testGroup "HUnit"
  12          [ HUnit.FFC.hunit v
  13          , HUnit.Credential.hunit v
  14          , HUnit.Election.hunit v
  15          , HUnit.Trustee.hunit v
  16          ]