diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-10-28 10:59:12 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-28 10:59:12 +0000 |
commit | 44a250b5d5828146f13fecdb5bfdfcb2d5ecca78 (patch) | |
tree | ee6dbfe1ec587e9a6f8e1e6efd4742ff8498b69c /src/Verismith.hs | |
parent | c144ad106079190941206cac0750c4eed7c02f91 (diff) | |
download | verismith-44a250b5d5828146f13fecdb5bfdfcb2d5ecca78.tar.gz verismith-44a250b5d5828146f13fecdb5bfdfcb2d5ecca78.zip |
Add --no-reduction
Diffstat (limited to 'src/Verismith.hs')
-rw-r--r-- | src/Verismith.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Verismith.hs b/src/Verismith.hs index bde3e2a..6a2bc72 100644 --- a/src/Verismith.hs +++ b/src/Verismith.hs @@ -122,10 +122,11 @@ randomise config@(Config a _ c d e) = do ce = config ^. configProbability . probExpr handleOpts :: Opts -> IO () -handleOpts (Fuzz o configF f k n nosim noequiv) = do +handleOpts (Fuzz o configF f k n nosim noequiv noreduction) = do config <- getConfig configF _ <- runFuzz - (FuzzOpts (Just $ fromText o) f k n nosim noequiv config) + (FuzzOpts (Just $ fromText o) + f k n nosim noequiv noreduction config) defaultYosys (fuzzMultiple (proceduralSrc "top" config)) return () |