diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-23 19:36:18 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-23 19:36:18 +0000 |
| commit | 49291d38214cbdbf084fecc931e7e5d5732a742c (patch) | |
| tree | 8ffafa29fdd18ae0408ad352303b243ba4f730e5 /src/VeriFuzz/Simulator/Icarus.hs | |
| parent | 12100f95c1d0560b8dd8cd0408a2c4837e9cdde6 (diff) | |
| download | verismith-49291d38214cbdbf084fecc931e7e5d5732a742c.tar.gz verismith-49291d38214cbdbf084fecc931e7e5d5732a742c.zip | |
Add echo do all the simulators
Diffstat (limited to 'src/VeriFuzz/Simulator/Icarus.hs')
| -rw-r--r-- | src/VeriFuzz/Simulator/Icarus.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/VeriFuzz/Simulator/Icarus.hs b/src/VeriFuzz/Simulator/Icarus.hs index 3518447..527322a 100644 --- a/src/VeriFuzz/Simulator/Icarus.hs +++ b/src/VeriFuzz/Simulator/Icarus.hs @@ -58,5 +58,6 @@ runSimIcarus sim m bss = do let newtb = instantiateMod m tb let modWithTb = VerilogSrc $ Description <$> [newtb, m] writefile "main.v" $ genSource modWithTb + echoP "Run icarus" noPrint $ run_ (icarusPath sim) ["-o", "main", "main.v"] hash <$> run (vvpPath sim) ["main"] |