From 9f829c41651cd2872b1c6e666b5bceeebf829aee Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Wed, 9 Jan 2019 21:13:04 +0000
Subject: Move tests to test

---
 tests/Property.hs | 34 ----------------------------------
 1 file changed, 34 deletions(-)
 delete mode 100644 tests/Property.hs

(limited to 'tests/Property.hs')

diff --git a/tests/Property.hs b/tests/Property.hs
deleted file mode 100644
index 8fc9020..0000000
--- a/tests/Property.hs
+++ /dev/null
@@ -1,34 +0,0 @@
-module Property (propertyTests) where
-
-import qualified Data.Graph.Inductive              as G
-import           Data.Graph.Inductive.PatriciaTree (Gr)
-import           Test.Tasty
-import qualified Test.Tasty.QuickCheck             as QC
-import           Test.VeriFuzz
-import qualified Test.VeriFuzz.Graph.RandomAlt     as V
-
-newtype TestGraph = TestGraph { getGraph :: Gr Gate () }
-                  deriving (Show)
-
-newtype AltTestGraph = AltTestGraph { getAltGraph :: Gr Gate () }
-                  deriving (Show)
-
-instance QC.Arbitrary TestGraph where
-  arbitrary = TestGraph <$> QC.resize 30 randomDAG
-
-instance QC.Arbitrary AltTestGraph where
-  arbitrary = AltTestGraph <$> QC.resize 100 V.randomDAG
-
-simpleGraph = QC.testProperty "simple graph generation check" $
-  \graph -> simp graph
-  where simp = G.isSimple . getGraph
-
-simpleAltGraph = QC.testProperty "simple alternative graph generation check" $
-  \graph -> simp graph
-  where simp = G.isSimple . getAltGraph
-
-propertyTests :: TestTree
-propertyTests = testGroup "Property Tests"
-  [ simpleGraph
-  , simpleAltGraph
-  ]
-- 
cgit