blob: 5eebc305cfb7dec9a38fb496dbb91561e68fbb8e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
module Main where
import Data.Bits
import Test.QuickCheck hiding ((.&.))
import Data.GraphViz
import Data.Graph.Inductive.Example (clr479, dag4)
import Data.Graph.Inductive.Graph
import Data.Graph.Inductive.PatriciaTree
import Data.GraphViz.Attributes.Complete
import Data.Text.Lazy
import Data.GraphViz.Commands
import System.Random.MWC
import Test.VeriFuzz.Graph.Random
import Test.VeriFuzz.Types
instance Labellable Gate where
toLabelValue gate = StrLabel . pack $ show gate
main :: IO FilePath
--main = sample (arbitrary :: Gen (Circuit Input))
main = do
gr <- (randomDAG 100 :: IO (Gr Gate ()))
runGraphviz (graphToDot quickParams $ emap (\_ -> "") gr) Png "output.png"
|
