diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-30 21:57:59 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-30 21:57:59 +0000 |
commit | 8b22145bf32c96067358193388a54621d3826628 (patch) | |
tree | d1bdae0905e919bab2c5dfe92b6f7dff5f937f60 /app/Main.hs | |
parent | 88ffe371e6a2ac5892b5249698f6f8ab1c323ee2 (diff) | |
download | verismith-8b22145bf32c96067358193388a54621d3826628.tar.gz verismith-8b22145bf32c96067358193388a54621d3826628.zip |
Restructure and add tests
Diffstat (limited to 'app/Main.hs')
-rw-r--r-- | app/Main.hs | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/app/Main.hs b/app/Main.hs new file mode 100644 index 0000000..d41d46b --- /dev/null +++ b/app/Main.hs @@ -0,0 +1,19 @@ +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 |