diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-17 19:19:14 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-17 19:19:14 +0100 |
commit | 56583318135a6a281d0f880637d5e0408ef690ee (patch) | |
tree | ca8c0a7ba0ac3ce7af2927c911b1457417813432 /src/VeriFuzz/Sim/Yosys.hs | |
parent | 3e78950eed93462bad170b70368cc41e47c4be3c (diff) | |
download | verismith-56583318135a6a281d0f880637d5e0408ef690ee.tar.gz verismith-56583318135a6a281d0f880637d5e0408ef690ee.zip |
Add Show instances to simulators
Diffstat (limited to 'src/VeriFuzz/Sim/Yosys.hs')
-rw-r--r-- | src/VeriFuzz/Sim/Yosys.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/VeriFuzz/Sim/Yosys.hs b/src/VeriFuzz/Sim/Yosys.hs index 3e1754a..17f52df 100644 --- a/src/VeriFuzz/Sim/Yosys.hs +++ b/src/VeriFuzz/Sim/Yosys.hs @@ -32,7 +32,7 @@ import VeriFuzz.Verilog.CodeGen import VeriFuzz.Verilog.Mutate newtype Yosys = Yosys { yosysPath :: FilePath } - deriving (Eq, Show) + deriving (Eq) instance Tool Yosys where toText _ = "yosys" @@ -40,6 +40,9 @@ instance Tool Yosys where instance Synthesiser Yosys where runSynth = runSynthYosys +instance Show Yosys where + show _ = "yosys" + defaultYosys :: Yosys defaultYosys = Yosys "yosys" |