diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-07 14:44:39 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-07 14:44:39 +0000 |
| commit | e7f7d1988ad9a161ba10e36859dc04a92422a4e0 (patch) | |
| tree | 2583d3c8b2f99f6e36a614985668645f73216ea8 /src | |
| parent | 4b6d1dbe4d79641d93676a311baa849b659cd12f (diff) | |
| download | verismith-e7f7d1988ad9a161ba10e36859dc04a92422a4e0.tar.gz verismith-e7f7d1988ad9a161ba10e36859dc04a92422a4e0.zip | |
Add simple verilog AND gate
Diffstat (limited to 'src')
| -rw-r--r-- | src/Main.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Main.hs b/src/Main.hs index 6aff865..bc80b49 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -34,5 +34,5 @@ main :: IO FilePath --main = sample (arbitrary :: Gen (Circuit Input)) main = do gen <- withSystemRandom . asGenIO $ return - gr <- wattsStrogatzGraph gen 50 3 0.6 + gr <- wattsStrogatzGraph gen 100 2 0.6 runGraphviz (graphToDot nonClusteredParams (graphInfoToUGr gr)) Png "output.png" |