diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-02 22:13:57 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-02 22:13:57 +0000 |
commit | 94082601ca31c079065c494cc24020471e0d3e31 (patch) | |
tree | 2333eb05bb616827e3f7792a94e71dba0296d119 /src/VeriFuzz/Icarus.hs | |
parent | 686bc953c50cf23b96dba4f182e8005289e71b98 (diff) | |
download | verismith-94082601ca31c079065c494cc24020471e0d3e31.tar.gz verismith-94082601ca31c079065c494cc24020471e0d3e31.zip |
Try to add logging
Diffstat (limited to 'src/VeriFuzz/Icarus.hs')
-rw-r--r-- | src/VeriFuzz/Icarus.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/Icarus.hs b/src/VeriFuzz/Icarus.hs index 8aa4698..ff389a4 100644 --- a/src/VeriFuzz/Icarus.hs +++ b/src/VeriFuzz/Icarus.hs @@ -62,5 +62,5 @@ runSimIcarus sim m bss = do let modWithTb = VerilogSrc $ Description <$> [newtb, m] writefile "main.v" $ genSource modWithTb echoP "Run icarus" - noPrint $ run_ (icarusPath sim) ["-o", "main", "main.v"] + run_ (icarusPath sim) ["-o", "main", "main.v"] hash <$> run (vvpPath sim) ["main"] |