diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-23 11:27:11 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-23 11:27:18 +0000 |
| commit | 434c2828ab622c4b9d07a1f1a8a09ede0696f4e0 (patch) | |
| tree | 4a8ff0f4b78640a596b5cea26725bf991c65f070 /tests/Property.hs | |
| parent | 856034f1eaa0785cb9f29717fc32d0d6ed798460 (diff) | |
| download | verismith-434c2828ab622c4b9d07a1f1a8a09ede0696f4e0.tar.gz verismith-434c2828ab622c4b9d07a1f1a8a09ede0696f4e0.zip | |
Add unit tests for the traversal
Diffstat (limited to 'tests/Property.hs')
| -rw-r--r-- | tests/Property.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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) |