module QuickCheck where
import Test.Tasty

import qualified QuickCheck.Merit
import qualified QuickCheck.Value

quickchecks :: TestTree
quickchecks =
	testGroup "QuickCheck"
	 [ QuickCheck.Merit.quickcheck
	 , QuickCheck.Value.quickcheck
	 -- , QuickCheck.Rank.quickcheck
	 {-
	 , testProperty "majorityGauge and majorityValue consistency" $
		 \(SameLength (x@(Merit xs)::Merit G6,y@(Merit ys))) ->
			not (all (==0) xs || all (==0) ys) ==>
			case majorityGauge x`compare`majorityGauge y of
			 LT -> majorityValue x < majorityValue y
			 GT -> majorityValue x > majorityValue y
			 EQ -> True
	 -}
	 ]