module Main where

import Test.Tasty
import QuickCheck

main :: IO ()
main =
	defaultMain $
	testGroup "Htirage"
	 [ quickchecks
	 ]