diff options
Diffstat (limited to 'src/VeriFuzz.hs')
| -rw-r--r-- | src/VeriFuzz.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 7b79633..6a63fe0 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -326,11 +326,11 @@ randomise config@(Config a _ c d e) = do ce = config ^. configProbability . probExpr handleOpts :: Opts -> IO () -handleOpts (Fuzz _ configF _ _ n) = do +handleOpts (Fuzz o configF _ _ n) = do config <- getConfig configF _ <- runFuzz config defaultYosys - (fuzzMultiple n Nothing (proceduralSrc "top" config)) + (fuzzMultiple n (Just $ fromText o) (proceduralSrc "top" config)) return () handleOpts (Generate f c) = do config <- getConfig c |