From 87e87a45e22ddc55cdf0beb1b154abd8c590abe5 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 24 Nov 2019 13:13:40 +0000
Subject: Add cross-check between netlists

---
 src/Verismith/OptParser.hs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/Verismith/OptParser.hs')

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 =
-- 
cgit