diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-12-03 20:03:17 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-12-03 20:03:17 +0000 |
commit | d29813263852c866f20f88504860120820499411 (patch) | |
tree | 7f224cbfba855f3cd9c94911fcd863824de251fd /src/Verismith/OptParser.hs | |
parent | c59a9178c701f4a514b980d0b8d66a6bd238fb19 (diff) | |
download | verismith-d29813263852c866f20f88504860120820499411.tar.gz verismith-d29813263852c866f20f88504860120820499411.zip |
Do not run counter example if no rerunner is specified
Diffstat (limited to 'src/Verismith/OptParser.hs')
-rw-r--r-- | src/Verismith/OptParser.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Verismith/OptParser.hs b/src/Verismith/OptParser.hs index 37d00fd..27ff4b4 100644 --- a/src/Verismith/OptParser.hs +++ b/src/Verismith/OptParser.hs @@ -35,6 +35,7 @@ data Opts = Fuzz { fuzzOutput :: {-# UNPACK #-} !Text , fuzzExistingFile :: !(Maybe FilePath) , fuzzExistingFileTop :: !Text , fuzzCrossCheck :: !Bool + , fuzzChecker :: !(Maybe Text) } | Generate { generateFilename :: !(Maybe FilePath) , generateConfigFile :: !(Maybe FilePath) @@ -131,6 +132,10 @@ fuzzOpts = <> Opt.value "top") <*> (Opt.switch $ Opt.long "crosscheck" <> Opt.help "Do not only compare against the original design, but also against other netlists.") + <*> (Opt.optional . textOption $ + Opt.long "checker" + <> Opt.metavar "CHECKER" + <> Opt.help "Define the checker to use.") genOpts :: Parser Opts genOpts = |