aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz/Verilog/Mutate.hs
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2018-12-31 19:36:23 +0100
committerYann Herklotz <ymherklotz@gmail.com>2018-12-31 19:36:23 +0100
commit6610c9a341c568ea369049a7a3d33b64ab4f2815 (patch)
treefb1ee2e00b99708955618cf880e4ffd3ff7dc46d /src/Test/VeriFuzz/Verilog/Mutate.hs
parent4f9e123fc9b00986f627aeaf0eee6c29be1b3780 (diff)
downloadverismith-6610c9a341c568ea369049a7a3d33b64ab4f2815.tar.gz
verismith-6610c9a341c568ea369049a7a3d33b64ab4f2815.zip
Add show instance and add concat to reglval
Diffstat (limited to 'src/Test/VeriFuzz/Verilog/Mutate.hs')
-rw-r--r--src/Test/VeriFuzz/Verilog/Mutate.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Test/VeriFuzz/Verilog/Mutate.hs b/src/Test/VeriFuzz/Verilog/Mutate.hs
index 9175664..b22fc2c 100644
--- a/src/Test/VeriFuzz/Verilog/Mutate.hs
+++ b/src/Test/VeriFuzz/Verilog/Mutate.hs
@@ -84,7 +84,7 @@ nestUpTo i src =
-- it to the body of the second module. It first has to make all the inputs into
-- @reg@.
--
--- >>> SrcShow $ instantiateMod mod main
+-- >>> instantiateMod mod main
-- module main;
-- wire [4:0] y;
-- reg [4:0] x;
@@ -104,7 +104,7 @@ instantiateMod mod main =
-- | Initialise all the inputs and outputs to a module.
--
--- >>> SrcShow $ initMod mod
+-- >>> initMod mod
-- module m(y, x);
-- output wire [4:0] y;
-- input wire [4:0] x;