src/Main.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

module Main where

import           Data.Graph.Inductive
import           Data.GraphViz
import           Data.GraphViz.Attributes.Complete
import           Data.Text.IO                      as T
import           Data.Text.Lazy

import           Test.VeriFuzz

instance Labellable Gate where
  toLabelValue gate = StrLabel . pack $ show gate

main :: IO ()
--main = sample (arbitrary :: Gen (Circuit Input))
main = do
  gr <- randomDAG 100 :: IO (Gr Gate ())
  _ <- runGraphviz (graphToDot quickParams $ emap (const "") gr) Png "output.png"
  T.putStrLn $ generate gr