diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-09 21:13:04 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-09 21:13:04 +0000 |
| commit | 9f829c41651cd2872b1c6e666b5bceeebf829aee (patch) | |
| tree | 2d68f84e159fe0d089d96443a33220bec307a452 /tests/Property.hs | |
| parent | a8436846201d03b80d8b11b68ef07923bb2997b4 (diff) | |
| download | verismith-9f829c41651cd2872b1c6e666b5bceeebf829aee.tar.gz verismith-9f829c41651cd2872b1c6e666b5bceeebf829aee.zip | |
Move tests to test
Diffstat (limited to 'tests/Property.hs')
| -rw-r--r-- | tests/Property.hs | 34 |
1 files changed, 0 insertions, 34 deletions
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 - ] |