diff options
-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 |