diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-27 10:38:26 +0100 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-27 10:38:26 +0100 |
commit | 51da0af5f0bc7c08e0c8824b474384a7f2752f49 (patch) | |
tree | 99bb39016ea90895e2b16e134c958ae717aba1a0 /app/Main.hs | |
parent | 7e34e378991ea838480a64d096d5cc8012b1b1c4 (diff) | |
download | verismith-51da0af5f0bc7c08e0c8824b474384a7f2752f49.tar.gz verismith-51da0af5f0bc7c08e0c8824b474384a7f2752f49.zip |
Generate completely random verilog
Diffstat (limited to 'app/Main.hs')
-rw-r--r-- | app/Main.hs | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/app/Main.hs b/app/Main.hs index a7e3d7e..ab90e29 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -16,8 +16,10 @@ instance Gviz.Labellable Gate where main :: IO () --main = sample (arbitrary :: Gen (Circuit Input)) main = do - gr <- genRandomDAG 100 :: IO (G.Gr Gate ()) + --gr <- genRandomDAG 100 :: IO (G.Gr Gate ()) -- _ <- runGraphviz (graphToDot quickParams $ emap (const "") gr) Png "output.png", -- T.putStrLn $ generate gr - --g <- QC.generate (QC.arbitrary :: QC.Gen SourceText) - render . genSourceText . addTestBench . nestUpTo 20 . generateAST $ Circuit gr + g <- QC.generate (QC.arbitrary :: QC.Gen SourceText) + --render . genSourceText . addTestBench . nestUpTo 20 . generateAST $ Circuit gr + + render . genSourceText . addTestBench $ g |