diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-11-14 16:27:19 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-14 16:27:19 +0000 |
commit | 798f54c05376ec3b4ebbe8326d0a91eec807df3d (patch) | |
tree | 29274e92b775d280238ea15e0b46fb545b55b559 /bugs/minimal_4.v | |
parent | 809d342084e39432615945edac7662e6f9968b7f (diff) | |
download | verismith-798f54c05376ec3b4ebbe8326d0a91eec807df3d.tar.gz verismith-798f54c05376ec3b4ebbe8326d0a91eec807df3d.zip |
Add proper reports to bugs
Diffstat (limited to 'bugs/minimal_4.v')
-rw-r--r-- | bugs/minimal_4.v | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/bugs/minimal_4.v b/bugs/minimal_4.v deleted file mode 100644 index 5cf8bbe..0000000 --- a/bugs/minimal_4.v +++ /dev/null @@ -1,16 +0,0 @@ -module test_module(y, w1, w2, w3, w4, w5, w6, w7, w8, w9, w10); -output wire [1458:0] y; -input wire [26:0] w1; -input wire [24:0] w2; -input wire [23:0] w3; -input wire [1:0] w4; -input wire [5:0] w5; -input wire [12:0] w6; -input wire [27:0] w7; -input wire [16:0] w8; -input wire [14:0] w9; -input wire [13:0] w10; -wire [23:0] w96; -assign w96 = {(-(-(10'h1))), ({(6'hb), (-(25'h3)), w7, w10, (1'h0), w2, w2, (17'h1c)} ? $signed(w6) : ((22'hd) | w10))}; -assign y = {w96}; -endmodule |