aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/OptParser.hs
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-12-03 20:03:17 +0000
committerYann Herklotz <git@yannherklotz.com>2019-12-03 20:03:17 +0000
commitd29813263852c866f20f88504860120820499411 (patch)
tree7f224cbfba855f3cd9c94911fcd863824de251fd /src/Verismith/OptParser.hs
parentc59a9178c701f4a514b980d0b8d66a6bd238fb19 (diff)
downloadverismith-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.hs5
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 =