Add new generation method

1 files changed, 11 insertions, 6 deletions

diff --git a/app/Main.hs b/app/Main.hs
index de3f870..5cdc245 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -1,12 +1,15 @@
 module Main where
 
 import qualified Data.Graph.Inductive              as G
+import qualified Data.Graph.Inductive.Arbitrary    as G
+import qualified Data.Graph.Inductive.PatriciaTree as G
 import qualified Data.GraphViz                     as Gviz
 import qualified Data.GraphViz.Attributes.Complete as Gviz
 import qualified Data.Text.IO                      as T
 import qualified Data.Text.Lazy                    as T
 import qualified Test.QuickCheck                   as QC
 import           Test.VeriFuzz
+import qualified Test.VeriFuzz.Graph.RandomAlt     as V
 
 instance Gviz.Labellable Gate where
   toLabelValue gate = Gviz.StrLabel . T.pack $ show gate
@@ -14,10 +17,12 @@ instance Gviz.Labellable Gate where
 main :: IO ()
  --main = sample (arbitrary :: Gen (Circuit Input))
 main = do
- --gr <- genRandomDAG 100 :: IO (G.Gr Gate ())
- --  _ <- runGraphviz (graphToDot quickParams $ emap (const "") gr) Png "output.png",
- --  T.putStrLn $ generate gr
-  g <- QC.generate (QC.resize 5 (QC.arbitrary :: QC.Gen VerilogSrc))
- --render . genVerilogSrc . addTestBench . nestUpTo 20 . generateAST $ Circuit gr
+  gr <- QC.generate $ QC.resize 100 (V.randomDAG :: QC.Gen (G.Gr Gate ()))
+  let dot = Gviz.graphToDot Gviz.nonClusteredParams . G.emap (const "") $ gr
+  _ <- Gviz.runGraphviz dot Gviz.Png "output.png"
+  return ()
+  -- T.putStrLn $ generate gr
+  -- g <- QC.generate (QC.resize 5 (QC.arbitrary :: QC.Gen VerilogSrc))
+  -- render . genVerilogSrc . addTestBench . nestUpTo 20 . generateAST $ Circuit gr
 
-  render . genVerilogSrc . addTestBench $ g
+  -- render . genVerilogSrc . addTestBench $ g