blob: ba9152e7d371db0f8e725a1c463bd1929bdf2c1d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
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 100
simpleGraph = QC.testProperty "simple graph generation" $
\graph -> isSimple (getGraph (graph :: TestGraph)) == True
propertyTests :: TestTree
propertyTests = testGroup "Property"
[ simpleGraph
]
|