From 3e1f8a25cd6fecc0fe5fd1635183296acd47b95c Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 21 May 2021 18:29:44 +0100
Subject: Fix top-level of interface

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

(limited to 'src/Verismith')

diff --git a/src/Verismith/OptParser.hs b/src/Verismith/OptParser.hs
index 1692985..a6b5fb9 100644
--- a/src/Verismith/OptParser.hs
+++ b/src/Verismith/OptParser.hs
@@ -54,7 +54,9 @@ data Opts
         emiNum :: {-# UNPACK #-} !Int,
         emiNoSim :: !Bool,
         emiNoEquiv :: !Bool,
-        emiNoReduction :: !Bool
+        emiNoReduction :: !Bool,
+        emiTopModule :: Text,
+        emiInputFile :: FilePath
       }
   | Generate
       { generateFilename :: !(Maybe FilePath),
@@ -243,6 +245,15 @@ emiOpts =
               <> Opt.help
                 "Do not run reduction on a failed testcase."
         )
+    <*> textOption
+      ( Opt.long "top"
+          <> Opt.short 't'
+          <> Opt.metavar "MODULE"
+          <> Opt.help "Top module for the Verilog module."
+          <> Opt.showDefault
+          <> Opt.value "top"
+      )
+    <*> Opt.strArgument (Opt.metavar "FILE" <> Opt.help "Verilog input file to pass to EMI.")
 
 genOpts :: Parser Opts
 genOpts =
-- 
cgit