diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-19 13:54:21 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-19 13:54:35 +0100 |
| commit | 220ebcba740e128b0065facbdfd27682ad39e1dd (patch) | |
| tree | bd3c591e1225b927894567bbb4afc56815dbf0df /app | |
| parent | e6f69af050619a30134ff300aa46cf44d53a4c7d (diff) | |
| download | verismith-220ebcba740e128b0065facbdfd27682ad39e1dd.tar.gz verismith-220ebcba740e128b0065facbdfd27682ad39e1dd.zip | |
Add helper functions to execute fuzzing multiple times
Diffstat (limited to 'app')
| -rw-r--r-- | app/Main.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app/Main.hs b/app/Main.hs index bec9e67..3c88e74 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -197,13 +197,13 @@ getConfig :: Maybe FilePath -> IO V.Config getConfig = maybe (return V.defaultConfig) V.parseConfigFile handleOpts :: Opts -> IO () -handleOpts (Fuzz _ configF _ _) = do +handleOpts (Fuzz out configF _ _) = do config <- getConfig configF _ <- V.runFuzz [V.defaultYosysSynth, V.defaultVivadoSynth, V.defaultQuartusSynth] [] V.defaultYosys - (V.fuzz (V.proceduralSrc "top" config)) + (V.fuzzMultiple 5 (S.fromText out) (V.proceduralSrc "top" config)) return () handleOpts (Generate f c) = do config <- getConfig c |