aboutsummaryrefslogtreecommitdiffstats
path: root/app/Main.hs
diff options
context:
space:
mode:
Diffstat (limited to 'app/Main.hs')
-rw-r--r--app/Main.hs19
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