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
	 ]