hjugement-protocol-0.0.8.20191027: tests/HUnit.hs

module HUnit where
import Test.Tasty
import Voting.Protocol
import qualified HUnit.FFC
import qualified HUnit.Credential
import qualified HUnit.Election
import qualified HUnit.Trustee

hunits :: Reifies v Version => Proxy v -> TestTree
hunits v =
	testGroup "HUnit"
	 [ HUnit.FFC.hunit v
	 , HUnit.Credential.hunit v
	 , HUnit.Election.hunit v
	 , HUnit.Trustee.hunit v
	 ]