diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-10-28 10:59:12 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-28 10:59:12 +0000 |
commit | 44a250b5d5828146f13fecdb5bfdfcb2d5ecca78 (patch) | |
tree | ee6dbfe1ec587e9a6f8e1e6efd4742ff8498b69c /src/Verismith/OptParser.hs | |
parent | c144ad106079190941206cac0750c4eed7c02f91 (diff) | |
download | verismith-44a250b5d5828146f13fecdb5bfdfcb2d5ecca78.tar.gz verismith-44a250b5d5828146f13fecdb5bfdfcb2d5ecca78.zip |
Add --no-reduction
Diffstat (limited to 'src/Verismith/OptParser.hs')
-rw-r--r-- | src/Verismith/OptParser.hs | 38 |
1 files changed, 17 insertions, 21 deletions
diff --git a/src/Verismith/OptParser.hs b/src/Verismith/OptParser.hs index 1db0d52..a475e9a 100644 --- a/src/Verismith/OptParser.hs +++ b/src/Verismith/OptParser.hs @@ -24,13 +24,14 @@ instance Show OptTool where show TXST = "xst" show TIcarus = "icarus" -data Opts = Fuzz { fuzzOutput :: {-# UNPACK #-} !Text - , fuzzConfigFile :: !(Maybe FilePath) - , fuzzForced :: !Bool - , fuzzKeepAll :: !Bool - , fuzzNum :: {-# UNPACK #-} !Int - , fuzzNoSim :: !Bool - , fuzzNoEquiv :: !Bool +data Opts = Fuzz { fuzzOutput :: {-# UNPACK #-} !Text + , fuzzConfigFile :: !(Maybe FilePath) + , fuzzForced :: !Bool + , fuzzKeepAll :: !Bool + , fuzzNum :: {-# UNPACK #-} !Int + , fuzzNoSim :: !Bool + , fuzzNoEquiv :: !Bool + , fuzzNoReduction :: !Bool } | Generate { generateFilename :: !(Maybe FilePath) , generateConfigFile :: !(Maybe FilePath) @@ -85,35 +86,30 @@ fuzzOpts = <> Opt.metavar "DIR" <> Opt.help "Output directory that the fuzz run takes place in." <> Opt.showDefault - <> Opt.value "output" - ) + <> Opt.value "output") <*> ( Opt.optional . Opt.strOption $ Opt.long "config" <> Opt.short 'c' <> Opt.metavar "FILE" - <> Opt.help "Config file for the current fuzz run." - ) + <> Opt.help "Config file for the current fuzz run.") <*> (Opt.switch $ Opt.long "force" <> Opt.short 'f' <> Opt.help - "Overwrite the specified directory." - ) + "Overwrite the specified directory.") <*> (Opt.switch $ Opt.long "keep" <> Opt.short 'k' <> Opt.help - "Keep all the directories." - ) + "Keep all the directories.") <*> ( Opt.option Opt.auto $ Opt.long "num" <> Opt.short 'n' <> Opt.help "The number of fuzz runs that should be performed." <> Opt.showDefault <> Opt.value 1 - <> Opt.metavar "INT" - ) + <> Opt.metavar "INT") <*> (Opt.switch $ Opt.long "no-sim" <> Opt.help - "Do not run simulation on the output netlist." - ) + "Do not run simulation on the output netlist.") <*> (Opt.switch $ Opt.long "no-equiv" <> Opt.help - "Do not run an equivalence check on the output netlist." - ) + "Do not run an equivalence check on the output netlist.") + <*> (Opt.switch $ Opt.long "no-reduction" <> Opt.help + "Do not run reduction on a failed testcase.") genOpts :: Parser Opts genOpts = |