diff options
Diffstat (limited to 'src/Verismith/OptParser.hs')
-rw-r--r-- | src/Verismith/OptParser.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Verismith/OptParser.hs b/src/Verismith/OptParser.hs index 2ccfe31..37d00fd 100644 --- a/src/Verismith/OptParser.hs +++ b/src/Verismith/OptParser.hs @@ -34,6 +34,7 @@ data Opts = Fuzz { fuzzOutput :: {-# UNPACK #-} !Text , fuzzNoReduction :: !Bool , fuzzExistingFile :: !(Maybe FilePath) , fuzzExistingFileTop :: !Text + , fuzzCrossCheck :: !Bool } | Generate { generateFilename :: !(Maybe FilePath) , generateConfigFile :: !(Maybe FilePath) @@ -128,6 +129,8 @@ fuzzOpts = <> Opt.help "Define the top module for the source file." <> Opt.showDefault <> Opt.value "top") + <*> (Opt.switch $ Opt.long "crosscheck" <> Opt.help + "Do not only compare against the original design, but also against other netlists.") genOpts :: Parser Opts genOpts = |