From d50a0b5b57aae1c7558fa77c362ae2e36038b63c Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 9 May 2020 16:40:44 +0100
Subject: Add distance function (#75)

* Add distance function

* Add distance measure for lists with testcases

* Add more distance measures for AST

* Add distance to commandline

* Fix distance always giving 0
---
 src/Verismith/OptParser.hs | 102 +++++++++++++++++++++++----------------------
 1 file changed, 53 insertions(+), 49 deletions(-)

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

diff --git a/src/Verismith/OptParser.hs b/src/Verismith/OptParser.hs
index 592f9e9..19eb640 100644
--- a/src/Verismith/OptParser.hs
+++ b/src/Verismith/OptParser.hs
@@ -55,6 +55,9 @@ data Opts = Fuzz { fuzzOutput          :: Text
                       , configOptConfigFile  :: !(Maybe FilePath)
                       , configOptDoRandomise :: !Bool
                       }
+          | DistanceOpt { distanceOptVerilogA :: !FilePath
+                        , distanceOptVerilogB :: !FilePath
+                        }
 
 textOption :: Mod OptionFields String -> Parser Text
 textOption = fmap T.pack . Opt.strOption
@@ -234,61 +237,63 @@ configOpts =
                    "Randomise the given default config, or the default config by randomly switchin on and off options."
             )
 
+distanceOpts :: Parser Opts
+distanceOpts =
+  DistanceOpt
+  <$> (fromText . T.pack <$> Opt.strArgument
+        (Opt.metavar "FILE" <> Opt.help "First verilog file."))
+  <*> (fromText . T.pack <$> Opt.strArgument
+        (Opt.metavar "FILE" <> Opt.help "Second verilog file."))
+
 argparse :: Parser Opts
 argparse =
     Opt.hsubparser
-            (  Opt.command
-                    "fuzz"
-                    (Opt.info
-                        fuzzOpts
-                        (Opt.progDesc
-                            "Run fuzzing on the specified simulators and synthesisers."
-                        )
-                    )
-            <> Opt.metavar "fuzz"
-            )
+            (Opt.command
+              "fuzz"
+              (Opt.info
+                fuzzOpts
+                (Opt.progDesc
+                  "Run fuzzing on the specified simulators and synthesisers."))
+              <> Opt.metavar "fuzz")
         <|> Opt.hsubparser
-                (  Opt.command
-                        "generate"
-                        (Opt.info
-                            genOpts
-                            (Opt.progDesc "Generate a random Verilog program.")
-                        )
-                <> Opt.metavar "generate"
-                )
+                (Opt.command
+                  "generate"
+                  (Opt.info
+                    genOpts
+                    (Opt.progDesc "Generate a random Verilog program."))
+                  <> Opt.metavar "generate")
         <|> Opt.hsubparser
-                (  Opt.command
+                (Opt.command
                         "parse"
                         (Opt.info
-                            parseOpts
-                            (Opt.progDesc
-                                "Parse a verilog file and output a pretty printed version."
-                            )
-                        )
-                <> Opt.metavar "parse"
-                )
+                          parseOpts
+                          (Opt.progDesc
+                            "Parse a verilog file and output a pretty printed version."))
+                  <> Opt.metavar "parse")
         <|> Opt.hsubparser
-                (  Opt.command
-                        "reduce"
-                        (Opt.info
-                            reduceOpts
-                            (Opt.progDesc
-                                "Reduce a Verilog file by rerunning the fuzzer on the file."
-                            )
-                        )
-                <> Opt.metavar "reduce"
-                )
+                (Opt.command
+                 "reduce"
+                  (Opt.info
+                    reduceOpts
+                    (Opt.progDesc
+                      "Reduce a Verilog file by rerunning the fuzzer on the file."))
+                  <> Opt.metavar "reduce")
         <|> Opt.hsubparser
-                (  Opt.command
-                        "config"
-                        (Opt.info
-                            configOpts
-                            (Opt.progDesc
-                                "Print the current configuration of the fuzzer."
-                            )
-                        )
-                <> Opt.metavar "config"
-                )
+                (Opt.command
+                  "config"
+                  (Opt.info
+                    configOpts
+                    (Opt.progDesc
+                      "Print the current configuration of the fuzzer."))
+                  <> Opt.metavar "config")
+         <|> Opt.hsubparser
+                (Opt.command
+                  "distance"
+                  (Opt.info
+                    distanceOpts
+                    (Opt.progDesc
+                      "Calculate the distance between two different pieces of Verilog."))
+                  <> Opt.metavar "distance")
 
 version :: Parser (a -> a)
 version = Opt.infoOption versionInfo $ mconcat
@@ -297,8 +302,7 @@ version = Opt.infoOption versionInfo $ mconcat
 opts :: ParserInfo Opts
 opts = Opt.info
     (argparse <**> Opt.helper <**> version)
-    (  Opt.fullDesc
+    (Opt.fullDesc
     <> Opt.progDesc "Fuzz different simulators and synthesisers."
     <> Opt.header
-           "Verismith - A hardware simulator and synthesiser Verilog fuzzer."
-    )
+           "Verismith - A hardware simulator and synthesiser Verilog fuzzer.")
-- 
cgit