diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-25 13:25:41 +0100 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-25 13:25:41 +0100 |
commit | 7e75a64512de5af5d23b13ac898cdf00377289d8 (patch) | |
tree | 04945217a3d03a7ca8122dfbff205ca1f42846e7 | |
parent | a15697644135d03cc419fb3093e0236d69ddf122 (diff) | |
download | verismith-7e75a64512de5af5d23b13ac898cdf00377289d8.tar.gz verismith-7e75a64512de5af5d23b13ac898cdf00377289d8.zip |
Fix main and improve speed of run script
-rw-r--r-- | app/Main.hs | 2 | ||||
-rwxr-xr-x | run_sim.sh | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/app/Main.hs b/app/Main.hs index cbe570b..a7e3d7e 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -20,4 +20,4 @@ main = do -- _ <- runGraphviz (graphToDot quickParams $ emap (const "") gr) Png "output.png", -- T.putStrLn $ generate gr --g <- QC.generate (QC.arbitrary :: QC.Gen SourceText) - render . genSourceText . nestSource (Identifier "w96") . generateAST $ Circuit gr + render . genSourceText . addTestBench . nestUpTo 20 . generateAST $ Circuit gr @@ -1,9 +1,10 @@ #!/usr/bin/env bash stack build verifuzz +stack install while true; do - stack exec verifuzz > main.v + verifuzz > main.v iverilog main.v -o main vvp main done |