diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-22 19:01:44 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-22 19:01:44 +0000 |
| commit | 0636119cb5faf8e55a4a17bb00d15d6710679c35 (patch) | |
| tree | 7524e2a67a514eefcab588ac09f3c2c527c7efee /src/VeriFuzz/Simulator/Icarus.hs | |
| parent | 125388a9fa696e354961545887f07633f06b3107 (diff) | |
| download | verismith-0636119cb5faf8e55a4a17bb00d15d6710679c35.tar.gz verismith-0636119cb5faf8e55a4a17bb00d15d6710679c35.zip | |
Better multithreading
Diffstat (limited to 'src/VeriFuzz/Simulator/Icarus.hs')
| -rw-r--r-- | src/VeriFuzz/Simulator/Icarus.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/Simulator/Icarus.hs b/src/VeriFuzz/Simulator/Icarus.hs index 4782585..3518447 100644 --- a/src/VeriFuzz/Simulator/Icarus.hs +++ b/src/VeriFuzz/Simulator/Icarus.hs @@ -58,5 +58,5 @@ runSimIcarus sim m bss = do let newtb = instantiateMod m tb let modWithTb = VerilogSrc $ Description <$> [newtb, m] writefile "main.v" $ genSource modWithTb - run_ (icarusPath sim) ["-o", "main", "main.v"] + noPrint $ run_ (icarusPath sim) ["-o", "main", "main.v"] hash <$> run (vvpPath sim) ["main"] |