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          ]