diff options
Diffstat (limited to 'src/Main.hs')
-rw-r--r-- | src/Main.hs | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/src/Main.hs b/src/Main.hs index 5eebc30..513b8cc 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -1,24 +1,21 @@ module Main where -import Data.Bits -import Test.QuickCheck hiding ((.&.)) import Data.GraphViz -import Data.Graph.Inductive.Example (clr479, dag4) -import Data.Graph.Inductive.Graph +import Data.Graph.Inductive import Data.Graph.Inductive.PatriciaTree import Data.GraphViz.Attributes.Complete -import Data.Text.Lazy import Data.GraphViz.Commands -import System.Random.MWC +import Data.Text.Lazy +import Data.Text.IO as T -import Test.VeriFuzz.Graph.Random -import Test.VeriFuzz.Types +import Test.VeriFuzz instance Labellable Gate where toLabelValue gate = StrLabel . pack $ show gate -main :: IO FilePath +main :: IO () --main = sample (arbitrary :: Gen (Circuit Input)) main = do gr <- (randomDAG 100 :: IO (Gr Gate ())) runGraphviz (graphToDot quickParams $ emap (\_ -> "") gr) Png "output.png" + T.putStrLn $ generate gr |