]> Git — Sourcephile - majurity.git/blob - hjugement-protocol/tests/QuickCheck.hs
cli: admin: directly use election_hash
[majurity.git] / hjugement-protocol / tests / QuickCheck.hs
1 module QuickCheck where
2 import Test.Tasty
3 import Voting.Protocol
4 import qualified QuickCheck.Election
5 import qualified QuickCheck.Trustee
6
7 quickchecks :: Reifies v Version => Proxy v -> TestTree
8 quickchecks v =
9 testGroup "QuickCheck"
10 [ QuickCheck.Election.quickcheck v
11 , QuickCheck.Trustee.quickcheck v
12 ]