From 434c2828ab622c4b9d07a1f1a8a09ede0696f4e0 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 23 Dec 2018 11:27:11 +0000 Subject: Add unit tests for the traversal --- tests/Property.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/Property.hs') diff --git a/tests/Property.hs b/tests/Property.hs index 88330bd..55b7f31 100644 --- a/tests/Property.hs +++ b/tests/Property.hs @@ -9,7 +9,7 @@ newtype TestGraph = TestGraph { getGraph :: Gr Gate () } deriving (Show) instance QC.Arbitrary TestGraph where - arbitrary = TestGraph <$> randomDAG 100 + arbitrary = TestGraph <$> randomDAG 30 simpleGraph = QC.testProperty "simple graph generation" $ \graph -> simp (graph :: TestGraph) -- cgit