hjugement-protocol/tests/QuickCheck.hs

   1 module QuickCheck where
   2 import Test.Tasty
   3 import qualified QuickCheck.Election
   4 import qualified QuickCheck.Trustee
   5
   6 quickchecks :: TestTree
   7 quickchecks =
   8         testGroup "QuickCheck"
   9          [ QuickCheck.Election.quickcheck
  10          , QuickCheck.Trustee.quickcheck
  11          ]