From 911b23e2ce898b1b9c1b3394e1dfa4522da51ccc Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 31 Oct 2019 18:52:20 +0000
Subject: Add parsing of existing rtl when starting fuzz run

---
 src/Verismith/OptParser.hs | 31 +++++++++++++++++++++++--------
 1 file changed, 23 insertions(+), 8 deletions(-)

(limited to 'src/Verismith')

diff --git a/src/Verismith/OptParser.hs b/src/Verismith/OptParser.hs
index a475e9a..57ad2bd 100644
--- a/src/Verismith/OptParser.hs
+++ b/src/Verismith/OptParser.hs
@@ -24,14 +24,16 @@ 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
-                 , fuzzNoReduction :: !Bool
+data Opts = Fuzz { fuzzOutput          :: {-# UNPACK #-} !Text
+                 , fuzzConfigFile      :: !(Maybe FilePath)
+                 , fuzzForced          :: !Bool
+                 , fuzzKeepAll         :: !Bool
+                 , fuzzNum             :: {-# UNPACK #-} !Int
+                 , fuzzNoSim           :: !Bool
+                 , fuzzNoEquiv         :: !Bool
+                 , fuzzNoReduction     :: !Bool
+                 , fuzzExistingFile    :: !(Maybe FilePath)
+                 , fuzzExistingFileTop :: !Text
                  }
           | Generate { generateFilename   :: !(Maybe FilePath)
                      , generateConfigFile :: !(Maybe FilePath)
@@ -110,6 +112,19 @@ fuzzOpts =
                 "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.")
+        <*> (  Opt.optional
+            .  Opt.strOption
+            $  Opt.long "source"
+            <> Opt.short 's'
+            <> Opt.metavar "FILE"
+            <> Opt.help "Name of the top module.")
+        <*> textOption
+                (  Opt.long "source-top"
+                <> Opt.short 't'
+                <> Opt.metavar "TOP"
+                <> Opt.help "Define the top module for the source file."
+                <> Opt.showDefault
+                <> Opt.value "top")
 
 genOpts :: Parser Opts
 genOpts =
-- 
cgit