aboutsummaryrefslogtreecommitdiffstats
path: root/app
diff options
context:
space:
mode:
authorYann Herklotz <git@ymhg.org>2019-05-05 17:33:29 +0100
committerYann Herklotz <git@ymhg.org>2019-05-05 17:33:29 +0100
commit1054a0200a728dad5e9de97fc1057612ab8227c2 (patch)
tree1e752469c455787409157fe0ff1bd6948a5f8fbd /app
parentb2c44986a84314fa8ee9ead808bfa8cf109c538f (diff)
downloadverismith-1054a0200a728dad5e9de97fc1057612ab8227c2.tar.gz
verismith-1054a0200a728dad5e9de97fc1057612ab8227c2.zip
Format with brittany
Diffstat (limited to 'app')
-rw-r--r--app/Main.hs18
1 files changed, 9 insertions, 9 deletions
diff --git a/app/Main.hs b/app/Main.hs
index 18173ba..8da1151 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -80,13 +80,13 @@ fuzzOpts =
<*> (switch $ long "keep" <> short 'k' <> help
"Keep all the directories."
)
- <*> (option auto $
- long "num"
- <> short 'n'
- <> help "The number of fuzz runs that should be performed."
- <> showDefault
- <> value 1
- <> metavar "INT"
+ <*> ( option auto
+ $ long "num"
+ <> short 'n'
+ <> help "The number of fuzz runs that should be performed."
+ <> showDefault
+ <> value 1
+ <> metavar "INT"
)
genOpts :: Parser Opts
@@ -209,8 +209,8 @@ handleOpts :: Opts -> IO ()
handleOpts (Fuzz out configF _ _ n) = do
config <- getConfig configF
_ <- V.runFuzz config
- V.defaultYosys
- (V.fuzzMultiple n Nothing (V.proceduralSrc "top" config))
+ V.defaultYosys
+ (V.fuzzMultiple n Nothing (V.proceduralSrc "top" config))
return ()
handleOpts (Generate f c) = do
config <- getConfig c