From 8b22145bf32c96067358193388a54621d3826628 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 30 Nov 2018 21:57:59 +0000 Subject: Restructure and add tests --- src/Main.hs | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 src/Main.hs (limited to 'src') 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 -- cgit