From 945c7435a41b93ff243b69f18a9c0216a7b70e24 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 18 Oct 2019 14:59:56 +0100
Subject: Add -k functionality

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

(limited to 'src/Verismith.hs')

diff --git a/src/Verismith.hs b/src/Verismith.hs
index 85deca3..a3d3d03 100644
--- a/src/Verismith.hs
+++ b/src/Verismith.hs
@@ -363,12 +363,12 @@ randomise config@(Config a _ c d e) = do
     ce = config ^. configProbability . probExpr
 
 handleOpts :: Opts -> IO ()
-handleOpts (Fuzz o configF _ _ n) = do
+handleOpts (Fuzz o configF _ k n) = do
     config <- getConfig configF
     _      <- runFuzz
         config
         defaultYosys
-        (fuzzMultiple n (Just $ fromText o) (proceduralSrc "top" config))
+        (fuzzMultiple n k (Just $ fromText o) (proceduralSrc "top" config))
     return ()
 handleOpts (Generate f c) = do
     config <- getConfig c
-- 
cgit