From 44a250b5d5828146f13fecdb5bfdfcb2d5ecca78 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 28 Oct 2019 10:59:12 +0000
Subject: Add --no-reduction

---
 src/Verismith.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/Verismith.hs')

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 ()
-- 
cgit