blob: 55b7f3152fe25ce96879ab052c6e5d3875f4e690 (
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 30
simpleGraph = QC.testProperty "simple graph generation" $
\graph -> simp (graph :: TestGraph)
where simp = isSimple . getGraph
propertyTests :: TestTree
propertyTests = testGroup "Property Tests"
[ simpleGraph
]
|