blob: 88330bd549c265756560e5533b09c224377ca57b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
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 100
simpleGraph = QC.testProperty "simple graph generation" $
\graph -> simp (graph :: TestGraph)
where simp = isSimple . getGraph
propertyTests :: TestTree
propertyTests = testGroup "Property Tests"
[ simpleGraph
]
|