From d29813263852c866f20f88504860120820499411 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 3 Dec 2019 20:03:17 +0000
Subject: Do not run counter example if no rerunner is specified

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

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

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