module Property (propertyTests) where

import           Data.Graph.Inductive
import           Test.Tasty
import           Test.Tasty.QuickCheck as QC
import           Test.VeriFuzz

newtype TestGraph = TestGraph { getGraph :: Gr Gate () }
                  deriving (Show)

instance QC.Arbitrary TestGraph where
  arbitrary = TestGraph <$> randomDAG 30

simpleGraph = QC.testProperty "simple graph generation" $
  \graph -> simp (graph :: TestGraph)
  where simp = isSimple . getGraph

propertyTests :: TestTree
propertyTests = testGroup "Property Tests"
  [ simpleGraph
  ]