diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-05 16:54:27 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-05 16:54:27 +0100 |
commit | c31961da322d9700fd6604541cbce5a4042f9b24 (patch) | |
tree | 0825f105d6b52354eda203a9780e27a3989addcf /app | |
parent | 5c4bf34321e9ba334bcb4629f8cdf75b5e4912f0 (diff) | |
download | verismith-c31961da322d9700fd6604541cbce5a4042f9b24.tar.gz verismith-c31961da322d9700fd6604541cbce5a4042f9b24.zip |
Add seeds for reproducible runs
Diffstat (limited to 'app')
-rw-r--r-- | app/Main.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app/Main.hs b/app/Main.hs index 277533c..18173ba 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -209,8 +209,8 @@ handleOpts :: Opts -> IO () handleOpts (Fuzz out configF _ _ n) = do config <- getConfig configF _ <- V.runFuzz config - V.defaultYosys - (V.fuzzMultiple n Nothing (V.proceduralSrc "top" config)) + V.defaultYosys + (V.fuzzMultiple n Nothing (V.proceduralSrc "top" config)) return () handleOpts (Generate f c) = do config <- getConfig c |