diff options
Diffstat (limited to 'app/Main.hs')
-rw-r--r-- | app/Main.hs | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/app/Main.hs b/app/Main.hs new file mode 100644 index 0000000..d41d46b --- /dev/null +++ b/app/Main.hs @@ -0,0 +1,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 |