aboutsummaryrefslogtreecommitdiffstats
path: root/app/Main.hs
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2018-12-30 18:50:33 +0100
committerYann Herklotz <ymherklotz@gmail.com>2018-12-30 18:50:33 +0100
commit932485fd843830b83ac1086a4e3d3a59223accf0 (patch)
treebd3d9df6962be3babdb67714884f99d339a17e4c /app/Main.hs
parent2de15f8f32d48b09a9a2c92c25b6b0b3bb4492e0 (diff)
downloadverismith-932485fd843830b83ac1086a4e3d3a59223accf0.tar.gz
verismith-932485fd843830b83ac1086a4e3d3a59223accf0.zip
Upgrade stack version
Diffstat (limited to 'app/Main.hs')
-rw-r--r--app/Main.hs10
1 files changed, 2 insertions, 8 deletions
diff --git a/app/Main.hs b/app/Main.hs
index 35c202f..2154760 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -3,24 +3,18 @@ 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
-
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"
- return ()
+ -- let dot = Gviz.graphToDot Gviz.nonClusteredParams . G.emap (const "") $ gr
+ -- _ <- Gviz.runGraphviz dot Gviz.Png "output.png"
-- T.putStrLn $ generate gr
-- g <- QC.generate (QC.resize 5 (QC.arbitrary :: QC.Gen VerilogSrc))
render . genVerilogSrc . addTestBench . nestUpTo 5 . generateAST $ Circuit gr