diff options
Diffstat (limited to 'src/Main.hs')
-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 |