From 83f5512402a25cc011814f74c086e045bdcb9d1c Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 31 Dec 2018 10:15:32 +0100 Subject: Fix dot generation --- app/Main.hs | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'app') diff --git a/app/Main.hs b/app/Main.hs index 2154760..b79484a 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -2,9 +2,11 @@ module Main where import qualified Data.Graph.Inductive as G import qualified Data.Graph.Inductive.Arbitrary as G +import qualified Data.Graph.Inductive.Dot as G import qualified Data.Graph.Inductive.PatriciaTree as G import qualified Data.Text.IO as T import qualified Data.Text.Lazy as T +import Shelly import qualified Test.QuickCheck as QC import Test.VeriFuzz import qualified Test.VeriFuzz.Graph.RandomAlt as V @@ -12,11 +14,11 @@ import qualified Test.VeriFuzz.Graph.RandomAlt as V main :: IO () --main = sample (arbitrary :: Gen (Circuit Input)) main = do - gr <- QC.generate $ rDups <$> QC.resize 15 (randomDAG :: QC.Gen (G.Gr Gate ())) - -- let dot = Gviz.graphToDot Gviz.nonClusteredParams . G.emap (const "") $ gr - -- _ <- Gviz.runGraphviz dot Gviz.Png "output.png" + gr <- QC.generate $ rDups <$> QC.resize 30 (randomDAG :: QC.Gen (G.Gr Gate ())) + let dot = G.showDot . G.fglToDotString $ G.nemap (\x -> show x) (\_ -> "") gr + writeFile "file.dot" dot + shelly $ run_ "dot" ["-Tpng", "-o", "file.png", "file.dot"] -- T.putStrLn $ generate gr -- g <- QC.generate (QC.resize 5 (QC.arbitrary :: QC.Gen VerilogSrc)) render . genVerilogSrc . addTestBench . nestUpTo 5 . generateAST $ Circuit gr - -- render . genVerilogSrc . addTestBench $ g -- cgit