hjugement-protocol-0.0.0.20190511: tests/QuickCheck.hs

module QuickCheck where
import Test.Tasty
import qualified QuickCheck.Election
import qualified QuickCheck.Trustee

quickchecks :: TestTree
quickchecks =
	testGroup "QuickCheck"
	 [ QuickCheck.Election.quickcheck
	 , QuickCheck.Trustee.quickcheck
	 ]