aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/Main.hs19
1 files changed, 0 insertions, 19 deletions
diff --git a/src/Main.hs b/src/Main.hs
deleted file mode 100644
index d41d46b..0000000
--- a/src/Main.hs
+++ /dev/null
@@ -1,19 +0,0 @@
-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