diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-15 13:28:42 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-15 13:28:42 +0000 |
commit | 2d09ba5849ce9fd9e07f739279408e69cb23b721 (patch) | |
tree | 0e322d082420facf683429cf02f5a835227ac9c6 /app/Main.hs | |
parent | aafb5e155716f66f98f454fb318c2bb9d71cd6ab (diff) | |
download | verismith-2d09ba5849ce9fd9e07f739279408e69cb23b721.tar.gz verismith-2d09ba5849ce9fd9e07f739279408e69cb23b721.zip |
Fix warnings
Diffstat (limited to 'app/Main.hs')
-rw-r--r-- | app/Main.hs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/app/Main.hs b/app/Main.hs index 4e3eebd..4ac0ab4 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -112,7 +112,7 @@ opts = info (argparse <**> helper) <> header "VeriFuzz - A hardware simulator and synthesiser Verilog fuzzer." ) handleOpts :: Opts -> IO () -handleOpts (Fuzz a) = do +handleOpts (Fuzz _) = do num <- getNumCapabilities vars <- sequence $ (\x -> myForkIO $ V.runEquivalence (V.randomMod 10 100) @@ -121,11 +121,10 @@ handleOpts (Fuzz a) = do handleOpts (Generate f) = do g <- QC.generate $ V.randomMod 5 15 S.shelly . S.writefile f $ V.genSource g -handleOpts (Rerun f) = undefined +handleOpts (Rerun _) = undefined main :: IO () --main = sample (arbitrary :: Gen (Circuit Input)) main = do optsparsed <- execParser opts handleOpts optsparsed - |