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 /src | |
parent | 88ffe371e6a2ac5892b5249698f6f8ab1c323ee2 (diff) | |
download | verismith-8b22145bf32c96067358193388a54621d3826628.tar.gz verismith-8b22145bf32c96067358193388a54621d3826628.zip |
Restructure and add tests
Diffstat (limited to 'src')
-rw-r--r-- | src/Main.hs | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/src/Main.hs b/src/Main.hs deleted file mode 100644 index d41d46b..0000000 --- a/src/Main.hs +++ /dev/null @@ -1,19 +0,0 @@ -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 |