diff options
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 () |