aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Sim/Icarus.hs
diff options
context:
space:
mode:
authorYann Herklotz <git@ymhg.org>2019-04-17 19:19:14 +0100
committerYann Herklotz <git@ymhg.org>2019-04-17 19:19:14 +0100
commit56583318135a6a281d0f880637d5e0408ef690ee (patch)
treeca8c0a7ba0ac3ce7af2927c911b1457417813432 /src/VeriFuzz/Sim/Icarus.hs
parent3e78950eed93462bad170b70368cc41e47c4be3c (diff)
downloadverismith-56583318135a6a281d0f880637d5e0408ef690ee.tar.gz
verismith-56583318135a6a281d0f880637d5e0408ef690ee.zip
Add Show instances to simulators
Diffstat (limited to 'src/VeriFuzz/Sim/Icarus.hs')
-rw-r--r--src/VeriFuzz/Sim/Icarus.hs8
1 files changed, 6 insertions, 2 deletions
diff --git a/src/VeriFuzz/Sim/Icarus.hs b/src/VeriFuzz/Sim/Icarus.hs
index 8396ff6..aceb516 100644
--- a/src/VeriFuzz/Sim/Icarus.hs
+++ b/src/VeriFuzz/Sim/Icarus.hs
@@ -45,7 +45,10 @@ import VeriFuzz.Verilog.Mutate
data Icarus = Icarus { icarusPath :: FilePath
, vvpPath :: FilePath
}
- deriving (Eq, Show)
+ deriving (Eq)
+
+instance Show Icarus where
+ show _ = "show"
instance Tool Icarus where
toText _ = "iverilog"
@@ -106,7 +109,8 @@ runSimIcarus sim rinfo bss = do
annotate SimFail $ runSimWithFile sim "main.v" bss
where m = rinfo ^. mainModule
-runSimIcarusWithFile :: Icarus -> FilePath -> [ByteString] -> ResultSh ByteString
+runSimIcarusWithFile
+ :: Icarus -> FilePath -> [ByteString] -> ResultSh ByteString
runSimIcarusWithFile sim f _ = annotate SimFail . liftSh $ do
dir <- pwd
echoP "Icarus: Compile"