aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2018-12-25 13:25:41 +0100
committerYann Herklotz <ymherklotz@gmail.com>2018-12-25 13:25:41 +0100
commit7e75a64512de5af5d23b13ac898cdf00377289d8 (patch)
tree04945217a3d03a7ca8122dfbff205ca1f42846e7
parenta15697644135d03cc419fb3093e0236d69ddf122 (diff)
downloadverismith-7e75a64512de5af5d23b13ac898cdf00377289d8.tar.gz
verismith-7e75a64512de5af5d23b13ac898cdf00377289d8.zip
Fix main and improve speed of run script
-rw-r--r--app/Main.hs2
-rwxr-xr-xrun_sim.sh3
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
diff --git a/run_sim.sh b/run_sim.sh
index f21c4dd..9a355d9 100755
--- a/run_sim.sh
+++ b/run_sim.sh
@@ -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