diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-11-24 13:13:40 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-24 13:13:40 +0000 |
| commit | 87e87a45e22ddc55cdf0beb1b154abd8c590abe5 (patch) | |
| tree | 6101ebb6c6a27069155359da57c065f6157f572c /src/Verismith/OptParser.hs | |
| parent | 373d747b7f6e94de3b4b3caa40483eefb6b13ad9 (diff) | |
| download | verismith-87e87a45e22ddc55cdf0beb1b154abd8c590abe5.tar.gz verismith-87e87a45e22ddc55cdf0beb1b154abd8c590abe5.zip | |
Add cross-check between netlists
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 = |